void add_fac(Gate *n, const Polynomial *fac)
Definition: nss.cpp:101
void print_circuit_poly_nss(FILE *file)
Definition: nss.cpp:14
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