Literal

Detailed Description

Definition at line 64 of file sat_base.h.

Public Member Functions
	Literal (int signed_value)
	Literal ()
	Literal (LiteralIndex index)
	Literal (BooleanVariable variable, bool is_positive)
BooleanVariable	Variable () const
bool	IsPositive () const
bool	IsNegative () const
LiteralIndex	Index () const
LiteralIndex	NegatedIndex () const
int	SignedValue () const
Literal	Negated () const
std::string	DebugString () const
bool	operator== (Literal other) const
bool	operator!= (Literal other) const
bool	operator< (const Literal &literal) const

Constructor & Destructor Documentation

Literal() [1/4]

Literal ( int  signed_value )

inline

Definition at line 68 of file sat_base.h.

Literal() [2/4]

Literal ( )

inline

Definition at line 74 of file sat_base.h.

Literal() [3/4]

Literal ( LiteralIndex  index )

inlineexplicit

Definition at line 75 of file sat_base.h.

Literal() [4/4]

Literal ( BooleanVariable  variable, bool  is_positive  )

inline

Definition at line 76 of file sat_base.h.

Member Function Documentation

DebugString()

std::string DebugString ( ) const

inline

Definition at line 93 of file sat_base.h.

Index()

LiteralIndex Index ( ) const

inline

Definition at line 84 of file sat_base.h.

IsNegative()

bool IsNegative ( ) const

inline

Definition at line 82 of file sat_base.h.

IsPositive()

bool IsPositive ( ) const

inline

Definition at line 81 of file sat_base.h.

Negated()

Literal Negated ( ) const

inline

Definition at line 91 of file sat_base.h.

NegatedIndex()

LiteralIndex NegatedIndex ( ) const

inline

Definition at line 85 of file sat_base.h.

operator!=()

bool operator!= ( Literal  other ) const

inline

Definition at line 97 of file sat_base.h.

operator<()

bool operator< ( const Literal &  literal ) const

inline

Definition at line 99 of file sat_base.h.

operator==()

bool operator== ( Literal  other ) const

inline

Definition at line 96 of file sat_base.h.

SignedValue()

int SignedValue ( ) const

inline

Definition at line 87 of file sat_base.h.

Variable()

BooleanVariable Variable ( ) const

inline

Definition at line 80 of file sat_base.h.

---

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

• sat_base.h