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 88 of file SolverTypes.h.

Constructor & Destructor Documentation

Minisat::lbool::lbool ( uint8_t  v )

inlineexplicit

Definition at line 92 of file SolverTypes.h.

: value(v) { }

Minisat::lbool::lbool ( )

inline

Definition at line 94 of file SolverTypes.h.

: value(0) { }

Minisat::lbool::lbool ( bool  x )

inlineexplicit

Definition at line 95 of file SolverTypes.h.

: value(!x) { }

Member Function Documentation

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

inline

Definition at line 98 of file SolverTypes.h.

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

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

inline

Definition at line 101 of file SolverTypes.h.

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

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

inline

Definition at line 97 of file SolverTypes.h.

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

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

inline

Definition at line 99 of file SolverTypes.h.

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

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

inline

Definition at line 106 of file SolverTypes.h.

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

Friends And Related Function Documentation

int toInt ( lbool  l )

friend

Definition at line 114 of file SolverTypes.h.

{ return l.value; }

lbool toLbool ( int  v )

friend

Definition at line 115 of file SolverTypes.h.

{ return lbool((uint8_t)v);  }

Field Documentation

uint8_t Minisat::lbool::value

private

Definition at line 89 of file SolverTypes.h.

---

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

• SolverTypes.h