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

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::lbool::lbool ( uint8_t v )

inlineexplicit

Definition at line 94 of file SolverTypes.h.

: value(v) { }

Here is the caller graph for this function:

lbool() [2/3]

Minisat::lbool::lbool ( )

inline

Definition at line 96 of file SolverTypes.h.

: value(0) { }

Here is the caller graph for this function:

lbool() [3/3]

Minisat::lbool::lbool ( bool x )

inlineexplicit

Definition at line 97 of file SolverTypes.h.

: value(!x) { }

Member Function Documentation

operator!=()

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

inline

Definition at line 100 of file SolverTypes.h.

{ return !(*this == b); }

Here is the call graph for this function:

operator&&()

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

inline

Definition at line 103 of file SolverTypes.h.

                                      { 
        uint8_t sel = (this->value << 1) | (b.value << 3);
        uint8_t v   = (0xF7F755F4 >> sel) & 3;
        return lbool(v); }

Here is the call graph for this function:

operator==()

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

inline

Definition at line 99 of file SolverTypes.h.

{ return ((b.value&2) & (value&2)) | (!(b.value&2)&(value == b.value)); }

Here is the call graph for this function:

operator^()

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

inline

Definition at line 101 of file SolverTypes.h.

{ return lbool((uint8_t)(value^(uint8_t)b)); }

Here is the call graph for this function:

operator||()

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

inline

Definition at line 108 of file SolverTypes.h.

                                      {
        uint8_t sel = (this->value << 1) | (b.value << 3);
        uint8_t v   = (0xFCFCF400 >> sel) & 3;
        return lbool(v); }

Here is the call graph for this function:

Friends And Related Symbol Documentation

toInt

int toInt ( lbool l )

friend

Definition at line 116 of file SolverTypes.h.

{ return l.value; }

toLbool

lbool toLbool ( int v )

friend

Definition at line 117 of file SolverTypes.h.

{ return lbool((uint8_t)v);  }

---

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

• src/sat/bsat2/SolverTypes.h