CVC3  2.4.1
Public Member Functions | Private Member Functions | Private Attributes | Friends | List of all members
MiniSat::lbool Class Reference

#include <minisat_global.h>

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: