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

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

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