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