AMulet 2.0
AIG Multiplier Verification Tool
parser.h
Go to the documentation of this file.
1 /*------------------------------------------------------------------------*/
8 /*------------------------------------------------------------------------*/
9 #ifndef _parser_H
10 #define _parser_H
11 /*------------------------------------------------------------------------*/
12 #include "aig.h"
13 /*------------------------------------------------------------------------*/
24 bool match_and (unsigned lhs, unsigned rhs0, unsigned rhs1);
25 
30 
35 
42 void parse_aig(const char * input_name);
43 
44 
45 #endif
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