CVC3 2.4.1
|
#include <sat_api.h>
bool SatSolver::Lit::IsNull | ( | ) | [inline] |
Definition at line 63 of file sat_api.h.
Referenced by SAT::DPLLTBasic::SAT2cvc().
long SatSolver::Lit::id |
Definition at line 60 of file sat_api.h.
Referenced by Xchaff::mkLit(), SATDecisionHook(), and Xchaff::TranslateDecisionHook().
void* SatSolver::Lit::vptr |