CVC3
2.4.1
|
#include <sat_api.h>
Public Member Functions | |
Clause () | |
bool | IsNull () |
void | Reset () |
Public Attributes | |
long | id |
void * | vptr |
|
inline |
Definition at line 71 of file sat_api.h.
Referenced by SAT::DPLLTBasic::verify_solution().
long SatSolver::Clause::id |
Definition at line 68 of file sat_api.h.
Referenced by Xchaff::GetClause(), Xchaff::GetClauseLits(), Xchaff::GetFirstClause(), Xchaff::GetNextClause(), and Xchaff::mkClause().