MiniSat::lbool Class Reference

#include <minisat_global.h>

List of all members.

Public Member Functions

Private Member Functions

Private Attributes

Friends


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:

Generated on Thu Oct 15 22:27:16 2009 for CVC3 by  doxygen 1.5.8