cprover
|
#include <resolution_proof.h>
Public Types | |
typedef std::vector< T > | clausest |
Public Member Functions | |
void | build_core (std::vector< bool > &in_core) |
Public Attributes | |
clausest | clauses |
Definition at line 38 of file resolution_proof.h.
typedef std::vector<T> resolution_prooft< T >::clausest |
Definition at line 41 of file resolution_proof.h.
void resolution_prooft< T >::build_core | ( | std::vector< bool > & | in_core | ) |
Definition at line 15 of file resolution_proof.cpp.
Referenced by satcheck_minisat1_coret::prop_solve().
clausest resolution_prooft< T >::clauses |
Definition at line 42 of file resolution_proof.h.
Referenced by minisat_prooft::chain(), and minisat_prooft::root().