SAT::Var Class Reference

#include <cnf.h>

List of all members.

Public Types

• enum Val { UNKNOWN = -1, FALSE, TRUE }

Public Member Functions

• Var ()
• Var (int index)
• operator int ()
• bool isNull () const
• void reset ()
• int getIndex () const

Static Public Member Functions

• static Val invertValue (Val)

Private Attributes

• int d_index

---

Detailed Description

Definition at line 23 of file cnf.h.

---

Member Enumeration Documentation

enum SAT::Var::Val

Enumerator: UNKNOWN  FALSE  TRUE  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:

• cnf.h

---