|
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 31 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: