12 #ifndef _elimination_H 13 #define _elimination_H 50 (FILE * file, std::vector<Polynomial*> container);
Polynomial * inc_spec_poly(unsigned i)
Definition: elimination.cpp:424
void decomposing(FILE *file)
Definition: elimination.cpp:327
void generate_witness(const Polynomial *p, const char *name)
Definition: elimination.cpp:752
Polynomial * add_up_factors(FILE *file)
Definition: elimination.cpp:31
void remove_slice_minus_one_gates(FILE *file)
Definition: elimination.cpp:276
contains functions necessary to generate PAC proofs
void eliminate_booth_pattern(FILE *file)
Definition: elimination.cpp:380
contains functions necessary to generate Nullstellensatz proofs
void write_witnesses(const Polynomial *p, FILE *file)
Definition: elimination.cpp:725
void add_up_spec_of_slice(FILE *file)
Definition: elimination.cpp:83
void write_witness_vector(const Term *t, FILE *file)
Definition: elimination.cpp:695
const Polynomial * reduce(FILE *file)
Definition: elimination.cpp:614
std::vector< Polynomial * > merge_factors(FILE *file, std::vector< Polynomial * > container)
Definition: elimination.cpp:56
Polynomial * mod_poly(const Polynomial *p1, bool print_rule, FILE *file)
Definition: elimination.cpp:463
void eliminate_by_one_gate(Gate *n1, Gate *n2, FILE *file)
Definition: elimination.cpp:110
void correct_pp_unsigned(const Polynomial *p, FILE *file)
Definition: elimination.cpp:529
void remove_internal_xor_gates(FILE *file)
Definition: elimination.cpp:175
void remove_single_occs_gates(FILE *file)
Definition: elimination.cpp:233
contains functions slice and order the gates
bool pac
True, when the PAC proof format is involved.
Definition: elimination.cpp:16
void correct_pp(const Polynomial *p, FILE *file)
Definition: elimination.cpp:607
bool nss
True, when the Nullstellensatz proof format is involved.
Definition: elimination.cpp:19
bool check_inputs_only(const Polynomial *p)
Definition: elimination.cpp:678
Definition: polynomial.h:23
Polynomial * reduce_by_one_poly(const Polynomial *p1, Gate *n, FILE *file)
Definition: elimination.cpp:140
void correct_pp_signed(const Polynomial *p, FILE *file)
Definition: elimination.cpp:560