CVC3
|
#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) |
Definition at line 195 of file minisat_global.h.
|
inlineexplicitprivate |
Definition at line 197 of file minisat_global.h.
|
inline |
Definition at line 200 of file minisat_global.h.
Referenced by operator~().
|
inline |
Definition at line 201 of file minisat_global.h.
|
inline |
|
inline |
Definition at line 204 of file minisat_global.h.
References value.
|
inline |
Definition at line 205 of file minisat_global.h.
References value.
|
inline |
Definition at line 206 of file minisat_global.h.
|
friend |
Definition at line 211 of file minisat_global.h.
|
friend |
Definition at line 212 of file minisat_global.h.
|
private |
Definition at line 196 of file minisat_global.h.
Referenced by operator!=(), operator==(), operator~(), and toInt().