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