contains functions necessary to parse the AIG More...
#include "parser.h"
Functions | |
bool | match_and (unsigned lhs, unsigned rhs0, unsigned rhs1) |
void | determine_input_order () |
void | init_aiger_with_checks () |
void | parse_aig (const char *input_name) |
contains functions necessary to parse the AIG
Part of AMulet2.0 : AIG Multiplier Verification Tool. Copyright (C) 2020 Daniela Kaufmann, Johannes Kepler University Linz
void determine_input_order | ( | ) |
Identifies whether the input vectors are separated or interleaved.
void init_aiger_with_checks | ( | ) |
Checks whether the input AIG fullfills our requirements.
bool match_and | ( | unsigned | lhs, |
unsigned | rhs0, | ||
unsigned | rhs1 | ||
) |
Checks whether 'model' contains an aiger node with output lhs and inputs rhs0 and rhs1.
lhs | unsigned integer |
rhs0 | unsigned integer |
rhs1 | unsigned integer |
void parse_aig | ( | const char * | input_name | ) |
Reads the input aiger given in the file called input_name to the aiger 'model' using the parserer function of aiger.h
input_name | char * ame of input file |