Minisat::lbool Class Reference

#include <SolverTypes.h>

Public Member Functions
	lbool (uint8_t v)
	lbool ()
	lbool (bool x)
bool	operator== (lbool b) const
bool	operator!= (lbool b) const
lbool	operator^ (bool b) const
lbool	operator&& (lbool b) const
lbool	operator|| (lbool b) const

Private Attributes
uint8_t	value

Friends
int	toInt (lbool l)
lbool	toLbool (int v)

Detailed Description

Definition at line 101 of file SolverTypes.h.

Constructor & Destructor Documentation

lbool() [1/3]

Minisat::lbool::lbool ( uint8_t  v )

inlineexplicit

Definition at line 105 of file SolverTypes.h.

lbool() [2/3]

Minisat::lbool::lbool ( )

inline

Definition at line 107 of file SolverTypes.h.

Here is the caller graph for this function:

lbool() [3/3]

Minisat::lbool::lbool ( bool  x )

inlineexplicit

Definition at line 108 of file SolverTypes.h.

Member Function Documentation

operator!=()

bool Minisat::lbool::operator!= ( lbool  b ) const

inline

Definition at line 111 of file SolverTypes.h.

operator&&()

lbool Minisat::lbool::operator&& ( lbool  b ) const

inline

Definition at line 114 of file SolverTypes.h.

Here is the call graph for this function:

operator==()

bool Minisat::lbool::operator== ( lbool  b ) const

inline

Definition at line 110 of file SolverTypes.h.

operator^()

lbool Minisat::lbool::operator^ ( bool  b ) const

inline

Definition at line 112 of file SolverTypes.h.

Here is the call graph for this function:

operator||()

lbool Minisat::lbool::operator|| ( lbool  b ) const

inline

Definition at line 119 of file SolverTypes.h.

Here is the call graph for this function:

Friends And Related Function Documentation

toInt

int toInt ( lbool  l )

friend

Definition at line 127 of file SolverTypes.h.

toLbool

lbool toLbool ( int  v )

friend

Definition at line 128 of file SolverTypes.h.

Field Documentation

value

uint8_t Minisat::lbool::value

private

Definition at line 102 of file SolverTypes.h.

---

The documentation for this class was generated from the following file:

• smtrat-modules/SATModule/SolverTypes.h