24 bool match_and (
unsigned lhs,
unsigned rhs0,
unsigned rhs1);
void init_aiger_with_checks()
Definition: parser.cpp:67
contains functions to parse and manipulate the input AIG
void determine_input_order()
Definition: parser.cpp:25
static const char * input_name
Name of the input file.
Definition: amulet.cpp:65
bool match_and(unsigned lhs, unsigned rhs0, unsigned rhs1)
Definition: parser.cpp:12
void parse_aig(const char *input_name)
Definition: parser.cpp:92