#include <minisat_global.h>
List of all members.
Private Member Functions |
| lbool (int v) |
Private Attributes |
int | value |
Detailed Description
Definition at line 195 of file minisat_global.h.
Constructor & Destructor Documentation
MiniSat::lbool::lbool |
( |
int |
v | ) |
|
|
inlineexplicitprivate |
MiniSat::lbool::lbool |
( |
| ) |
|
|
inline |
MiniSat::lbool::lbool |
( |
bool |
x | ) |
|
|
inline |
Member Function Documentation
int MiniSat::lbool::toInt |
( |
void |
| ) |
const |
|
inline |
bool MiniSat::lbool::operator== |
( |
const lbool & |
other | ) |
const |
|
inline |
bool MiniSat::lbool::operator!= |
( |
const lbool & |
other | ) |
const |
|
inline |
lbool MiniSat::lbool::operator~ |
( |
void |
| ) |
const |
|
inline |
Friends And Related Function Documentation
Member Data Documentation
int MiniSat::lbool::value |
|
private |
The documentation for this class was generated from the following file: