17 #include "../includes/aiger.h" 158 unsigned slit (
unsigned i);
void reset_aig_substitution()
Definition: aig.cpp:28
void init_aig_parsing()
Definition: aig.cpp:33
unsigned binc
distance between aiger values of B
Definition: aig.cpp:14
aiger_and * is_model_and(unsigned val)
Definition: aig.cpp:50
unsigned bl
input value for the MSB of input vector B
Definition: aig.cpp:14
void reset_aig_parsing()
Definition: aig.cpp:37
unsigned get_model_num_latches()
Definition: aig.cpp:54
unsigned get_model_num_outputs()
Definition: aig.cpp:57
int write_model(FILE *file)
Definition: aig.cpp:76
aiger * rewritten
Definition: aig.cpp:16
const char * get_model_inputs_name(unsigned i)
Definition: aig.cpp:65
aiger * miter
Definition: aig.cpp:17
unsigned b0
input value for the LSB of input vector B
Definition: aig.cpp:14
void init_aig_substitution()
Definition: aig.cpp:23
unsigned get_model_num_ands()
Definition: aig.cpp:56
unsigned ainc
distance between aiger values of A
Definition: aig.cpp:13
unsigned get_model_maxvar()
Definition: aig.cpp:58
bool is_model_input(unsigned val)
Definition: aig.cpp:46
const char * aiger_open_and_read_to_model(const char *input_name)
Definition: aig.cpp:41
unsigned M
stores the maximum variable num of the input AIG
Definition: aig.cpp:12
unsigned NN
stores the number of inputs of the input AIG
Definition: aig.cpp:12
unsigned get_model_inputs_lit(unsigned i)
Definition: aig.cpp:60
static const char * input_name
Name of the input file.
Definition: amulet.cpp:65
unsigned slit(unsigned i)
Definition: aig.cpp:70
unsigned al
input value for the MSB of input vector A
Definition: aig.cpp:13
used to handle signals, messages and statistics
unsigned get_model_num_inputs()
Definition: aig.cpp:55
unsigned a0
input value for the LSB of input vector A
Definition: aig.cpp:13