AMulet 2.0
AIG Multiplier Verification Tool
polynomial_solver.h
Go to the documentation of this file.
1
/*------------------------------------------------------------------------*/
8
/*------------------------------------------------------------------------*/
9
#ifndef _polynomial_solver_H
10
#define _polynomial_solver_H
11
/*------------------------------------------------------------------------*/
12
#include "
elimination.h
"
13
/*------------------------------------------------------------------------*/
16
// using command line input
17
extern
bool
gen_witness
;
18
/*------------------------------------------------------------------------*/
19
25
void
init_gates_verify
();
26
37
void
verify
(
const
char
* inp_f = 0,
38
const
char
* out_f1 = 0,
39
const
char
* out_f2 = 0,
40
const
char
* out_f3 = 0,
41
bool
certify = 0);
42
43
44
#endif
elimination.h
contains functions used in the polynomial solver
gen_witness
bool gen_witness
Definition:
polynomial_solver.cpp:12
init_gates_verify
void init_gates_verify()
Definition:
polynomial_solver.cpp:15
verify
void verify(const char *inp_f=0, const char *out_f1=0, const char *out_f2=0, const char *out_f3=0, bool certify=0)
Definition:
polynomial_solver.cpp:26
polynomial_solver.h
Generated by
1.8.11