MiniSat::lbool Class Reference

#include <minisat_global.h>

List of all members.

Public Member Functions

• lbool ()
• lbool (bool x)
• int toInt (void) const
• bool operator== (const lbool &other) const
• bool operator!= (const lbool &other) const
• lbool operator~ (void) const

Private Member Functions

• lbool (int v)

Private Attributes

• int value

Friends

• int toInt (lbool l)
• lbool toLbool (int v)

---

Detailed Description

Definition at line 195 of file minisat_global.h.

---

Constructor & Destructor Documentation

MiniSat::lbool::lbool

(

int

v

)

[inline, explicit, private]

Definition at line 197 of file minisat_global.h.

MiniSat::lbool::lbool

(

)

[inline]

Definition at line 200 of file minisat_global.h.

Referenced by operator~().

MiniSat::lbool::lbool

(

bool

x

)

[inline]

Definition at line 201 of file minisat_global.h.

---

Member Function Documentation

int MiniSat::lbool::toInt

(

void

)

const [inline]

Definition at line 202 of file minisat_global.h.

References value.

Referenced by MiniSat::toInt().

bool MiniSat::lbool::operator==

(

const lbool &

other

)

const [inline]

Definition at line 204 of file minisat_global.h.

References value.

bool MiniSat::lbool::operator!=

(

const lbool &

other

)

const [inline]

Definition at line 205 of file minisat_global.h.

References value.

lbool MiniSat::lbool::operator~

(

void

)

const [inline]

Definition at line 206 of file minisat_global.h.

References lbool(), and value.

---

Friends And Related Function Documentation

int toInt

(

lbool

l

)

[friend]

Definition at line 211 of file minisat_global.h.

lbool toLbool

(

int

v

)

[friend]

Definition at line 212 of file minisat_global.h.

---

Member Data Documentation

int MiniSat::lbool::value [private]

Definition at line 196 of file minisat_global.h.

Referenced by operator!=(), operator==(), operator~(), and toInt().

---

The documentation for this class was generated from the following file:

• minisat_global.h