Open
Graph Drawing
Framework

 v. 2022.02 (Dogwood)
 

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: