Minisat::Internal::lbool Class Reference

#include <ogdf/lib/minisat/core/SolverTypes.h>

Public Member Functions
	lbool ()
	lbool (bool x)
	lbool (uint8_t v)
bool	operator!= (lbool b) const
lbool	operator&& (lbool b) const
bool	operator== (lbool b) const
lbool	operator^ (bool 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 90 of file SolverTypes.h.

Constructor & Destructor Documentation

lbool() [1/3]

Minisat::Internal::lbool::lbool ( uint8_t  v )

inlineexplicit

Definition at line 94 of file SolverTypes.h.

lbool() [2/3]

Minisat::Internal::lbool::lbool ( )

inline

Definition at line 96 of file SolverTypes.h.

lbool() [3/3]

Minisat::Internal::lbool::lbool ( bool  x )

inlineexplicit

Definition at line 97 of file SolverTypes.h.

Member Function Documentation

operator!=()

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

inline

Definition at line 106 of file SolverTypes.h.

operator&&()

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

inline

Definition at line 109 of file SolverTypes.h.

operator==()

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

inline

Definition at line 102 of file SolverTypes.h.

operator^()

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

inline

Definition at line 107 of file SolverTypes.h.

operator||()

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

inline

Definition at line 114 of file SolverTypes.h.

Friends And Related Function Documentation

toInt

int toInt ( lbool  l )

friend

Definition at line 122 of file SolverTypes.h.

toLbool

lbool toLbool ( int  v )

friend

Definition at line 123 of file SolverTypes.h.

Member Data Documentation

value

uint8_t Minisat::Internal::lbool::value

private

Definition at line 91 of file SolverTypes.h.

---

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

• include/ogdf/lib/minisat/core/SolverTypes.h