#include <sat_api.h>
Definition at line 59 of file sat_api.h.
bool SatSolver::Lit::IsNull | ( | ) | [inline] |
Definition at line 63 of file sat_api.h.
Referenced by SAT::DPLLTBasic::satSolver().
long SatSolver::Lit::id |
Definition at line 60 of file sat_api.h.
Referenced by SATDecisionHook().
void* SatSolver::Lit::vptr |