#include <cnf.h>
Definition at line 32 of file cnf.h.
enum SAT::Var::Val |
bool SAT::Var::isNull | ( | ) | const [inline] |
Definition at line 40 of file cnf.h.
References d_index.
Referenced by SAT::Lit::Lit(), and CVC3::SearchSat::setValue().
int SAT::Var::getIndex | ( | ) | const [inline] |
bool SAT::Var::operator== | ( | const Var & | var | ) | const [inline] |
int SAT::Var::d_index [private] |
Definition at line 33 of file cnf.h.
Referenced by getIndex(), isNull(), operator int(), operator==(), and reset().