Parsers

AIGER format

Header: lorina/aiger.hpp

• AIGER parser

class aiger_reader

A reader visitor for the binary AIGER format.

Callbacks for the AIGER format.

Subclassed by lorina::ascii_aiger_pretty_printer

BENCH format

Header: lorina/bench.hpp

• BENCH parser

class bench_reader

A reader visitor for the BENCH format.

Callbacks for the BENCH format.

Subclassed by lorina::bench_pretty_printer

BLIF format

Header: lorina/blif.hpp

• BLIF parser

class blif_reader

A reader visitor for the BLIF format.

Callbacks for the BLIF (Berkeley Logic Interchange Format) format.

Subclassed by lorina::blif_pretty_printer

BRISTOL format

Header: lorina/bristol.hpp

• BRISTOL parser

class bristol_reader

DIMACS format

Header: lorina/dimacs.hpp

• DIMACS parser

class dimacs_reader

A reader visitor for the DIMACS format.

Callbacks for reading the DIMACS format.

GENLIB format

Header: lorina/genlib.hpp

• GENLIB parser

class genlib_reader

A reader visitor for a GENLIB format.

Callbacks for the GENLIB format.

PLA format

Header: lorina/pla.hpp

• PLA parser

class pla_reader

A reader visitor for the PLA format.

Callbacks for reading the PLA format.

Subclassed by lorina::pla_pretty_printer

SUPER format

Header: lorina/super.hpp

• SUPER parser

class super_reader

A reader visitor for a super format.

Callbacks for the super format.

VERILOG format

Header: lorina/verilog.hpp

• VERILOG parser

class verilog_reader

A reader visitor for a simplistic VERILOG format.

Callbacks for the VERILOG format.

Subclassed by lorina::verilog_pretty_printer