1 #ifndef LFSC_BOOL_PROOF_H_
2 #define LFSC_BOOL_PROOF_H_
23 void print_pf( std::ostream& s,
int ind = 0 );
48 void print_pf( std::ostream& s,
int ind = 0 ){ s <<
"(lem _ _ @a" <<
abs(
d_var ) <<
")"; }
54 clause.push_back( -
d_var );
55 clause.push_back(
d_var );
73 void print_pf( std::ostream& s,
int ind = 0 );
85 clause.push_back(
d_var );
101 void print_pf( std::ostream& s,
int ind = 0 );
113 clause.push_back( -
d_var );