CVC3
2.4.1
|
#include <sat_api.h>
SatSolver::Var::Var | ( | ) | [inline] |
bool SatSolver::Var::IsNull | ( | ) | [inline] |
void SatSolver::Var::Reset | ( | ) | [inline] |
long SatSolver::Var::id |
Definition at line 52 of file sat_api.h.
Referenced by Xchaff::GetFirstVar(), Xchaff::GetNextVar(), Xchaff::GetVarAssignment(), Xchaff::GetVarIndex(), Xchaff::MakeLit(), Xchaff::mkVar(), and SATAssignmentHook().
void* SatSolver::Var::vptr |