AIGER parser¶
The header <lorina/aiger.hpp>
implements methods to parse the AIGER format (see http://fmv.jku.at/aiger/).
The class lorina::aiger_reader
provides the following public
member functions.
Function |
Description |
---|---|
|
Callback method for parsed header |
|
Callback method for parsed header |
|
Callback method for parsed input |
|
Callback method for parsed output |
|
Callback method for parsed latch |
|
Callback method for parsed AND gate |
|
Callback method for parsed input name |
|
Callback method for parsed latch name |
|
Callback method for parsed output name |
|
Callback method for a parsed name of a bad state property |
|
Callback method for a parsed name of an invariant constraint |
|
Callback method for a parsed name of a fairness constraint |
|
Callback method for parsed comment |
The following reader functions are available.
Function
|
Description
|
---|---|
Reader function for ASCII AIGER format.
|
|
Reader function for ASCII AIGER format.
|
|
Reader function for binary AIGER format.
|
|
Reader function for binary AIGER format.
|
-
inline return_code lorina::read_ascii_aiger(const std::string &filename, const aiger_reader &reader, diagnostic_engine *diag = nullptr)¶
Reader function for ASCII AIGER format.
Reads ASCII AIGER format from a file and invokes a callback method for each parsed primitive and each detected parse error.
- Parameters
filename – Name of the file
reader – An AIGER reader with callback methods invoked for parsed primitives
diag – An optional diagnostic engine with callback methods for parse errors
- Returns
Success if parsing has been successful, or parse error if parsing has failed
-
inline return_code lorina::read_ascii_aiger(std::istream &in, const aiger_reader &reader, diagnostic_engine *diag = nullptr)¶
Reader function for ASCII AIGER format.
Reads ASCII AIGER format from a stream and invokes a callback method for each parsed primitive and each detected parse error.
- Parameters
in – Input stream
reader – An AIGER reader with callback methods invoked for parsed primitives
diag – An optional diagnostic engine with callback methods for parse errors
- Returns
Success if parsing has been successful, or parse error if parsing has failed
-
inline return_code lorina::read_aiger(const std::string &filename, const aiger_reader &reader, diagnostic_engine *diag = nullptr)¶
Reader function for binary AIGER format.
Reads binary AIGER format from a file and invokes a callback method for each parsed primitive and each detected parse error.
- Parameters
filename – Name of the file
reader – An AIGER reader with callback methods invoked for parsed primitives
diag – An optional diagnostic engine with callback methods for parse errors
- Returns
Success if parsing has been successful, or parse error if parsing has failed
-
inline return_code lorina::read_aiger(std::istream &in, const aiger_reader &reader, diagnostic_engine *diag = nullptr)¶
Reader function for binary AIGER format.
Reads binary AIGER format from a stream and invokes a callback method for each parsed primitive and each detected parse error.
- Parameters
in – Input stream
reader – An AIGER reader with callback methods invoked for parsed primitives
diag – An optional diagnostic engine with callback methods for parse errors
- Returns
Success if parsing has been successful, or parse error if parsing has failed