|
virtual void | root (const vec< Lit > &c) |
virtual void | chain (const vec< ClauseId > &cs, const vec< Var > &xs) |
virtual void | deleted (ClauseId c) |
virtual void | done () |
virtual | ~minisat_prooft () |
Definition at line 32 of file satcheck_minisat.cpp.
◆ ~minisat_prooft()
virtual minisat_prooft::~minisat_prooft |
( |
| ) |
|
|
inlinevirtual |
◆ chain()
void minisat_prooft::chain |
( |
const vec< ClauseId > & | cs, |
|
|
const vec< Var > & | xs ) |
|
virtual |
◆ deleted()
virtual void minisat_prooft::deleted |
( |
ClauseId | c | ) |
|
|
inlinevirtual |
◆ done()
virtual void minisat_prooft::done |
( |
| ) |
|
|
inlinevirtual |
◆ root()
virtual void minisat_prooft::root |
( |
const vec< Lit > & | c | ) |
|
|
inlinevirtual |
◆ resolution_proof
The documentation for this class was generated from the following file: