SAT::Var Class Reference

#include <cnf.h>

List of all members.

Public Types

Public Member Functions

Static Public Member Functions

Private Attributes

Detailed Description

Definition at line 23 of file cnf.h.

Member Enumeration Documentation

enum SAT::Var::Val


Definition at line 26 of file cnf.h.

Constructor & Destructor Documentation

SAT::Var::Var  )  [inline]

Definition at line 28 of file cnf.h.

SAT::Var::Var int  index  )  [inline]

Definition at line 29 of file cnf.h.

Member Function Documentation

Var::Val SAT::Var::invertValue Val   )  [inline, static]

Definition at line 35 of file cnf.h.

References UNKNOWN.

Referenced by CVCL::SearchSat::getValue().

SAT::Var::operator int  )  [inline]

Definition at line 30 of file cnf.h.

References d_index.

bool SAT::Var::isNull  )  const [inline]

Definition at line 31 of file cnf.h.

References d_index.

Referenced by SAT::Lit::Lit(), and CVCL::SearchSat::setValue().

void SAT::Var::reset  )  [inline]

Definition at line 32 of file cnf.h.

References d_index.

int SAT::Var::getIndex  )  const [inline]

Definition at line 33 of file cnf.h.

References d_index.

Member Data Documentation

int SAT::Var::d_index [private]

Definition at line 24 of file cnf.h.

Referenced by getIndex(), isNull(), operator int(), and reset().

The documentation for this class was generated from the following file:
Generated on Thu Apr 13 16:57:46 2006 for CVC Lite by  doxygen 1.4.4