AMulet 2.0
AIG Multiplier Verification Tool
nss.h
Go to the documentation of this file.
1 /*------------------------------------------------------------------------*/
8 /*------------------------------------------------------------------------*/
9 #ifndef _nss_H
10 #define _nss_H
11 /*------------------------------------------------------------------------*/
12 #include "gate.h"
13 /*------------------------------------------------------------------------*/
14 
20 void print_circuit_poly_nss (FILE * file);
21 
28 void print_cofactors_poly_nss (FILE* polysfile, FILE * file);
29 
30 
39 void add_ancestors (Gate * n, Gate * anc, const Polynomial * fac, bool internal = 0);
40 
46 void add_fac_mod (const Polynomial * fac);
47 
54 void add_fac (Gate * n, const Polynomial * fac);
55 
56 
57 
58 #endif
void add_fac(Gate *n, const Polynomial *fac)
Definition: nss.cpp:101
void print_circuit_poly_nss(FILE *file)
Definition: nss.cpp:14
Definition: gate.h:32
void print_cofactors_poly_nss(FILE *polysfile, FILE *file)
Definition: nss.cpp:22
contains the class Gate and further functions to organize the gate structure, such as initializing th...
Definition: polynomial.h:23
void add_ancestors(Gate *n, Gate *anc, const Polynomial *fac, bool internal=0)
Definition: nss.cpp:39
void add_fac_mod(const Polynomial *fac)
Definition: nss.cpp:90