CVC3
2.4.1
|
#include <sat_api.h>
Public Member Functions | |
Var () | |
bool | IsNull () |
void | Reset () |
Public Attributes | |
long | id |
void * | vptr |
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().