CVC3  2.4.1
Public Member Functions | Private Member Functions | Private Attributes | Friends
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)
inlineexplicitprivate

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: