CVC3
|
#include <cnf.h>
Public Types | |
enum | Val { UNKNOWN = -1, FALSE_VAL, TRUE_VAL } |
Public Member Functions | |
Var () | |
Var (int index) | |
operator int () | |
bool | isNull () const |
void | reset () |
int | getIndex () const |
bool | isVar () const |
bool | operator== (const Var &var) const |
Static Public Member Functions | |
static Val | invertValue (Val) |
Private Attributes | |
int | d_index |
enum SAT::Var::Val |
|
inline |
Definition at line 42 of file cnf.h.
References d_index.
Referenced by SAT::CNF_Manager::concreteVar(), SAT::Lit::Lit(), and CVC3::SearchSat::setValue().
|
inline |
|
inline |
Definition at line 45 of file cnf.h.
References d_index.
Referenced by CVC3::SearchSat::getValue(), SAT::CNF_Manager::numFanins(), and SAT::CNF_Manager::numFanouts().
|
inline |
|
private |
Definition at line 35 of file cnf.h.
Referenced by getIndex(), isNull(), isVar(), operator int(), operator==(), and reset().