IntegerLiteral

Detailed Description

Definition at line 174 of file integer.h.

Public Member Functions
	IntegerLiteral ()
	IntegerLiteral (IntegerVariable v, IntegerValue b)
bool	IsValid () const
bool	IsAlwaysTrue () const
bool	IsAlwaysFalse () const
IntegerLiteral	Negated () const
bool	operator== (IntegerLiteral o) const
bool	operator!= (IntegerLiteral o) const
std::string	DebugString () const

Static Public Member Functions
static IntegerLiteral	GreaterOrEqual (IntegerVariable i, IntegerValue bound)
static IntegerLiteral	LowerOrEqual (IntegerVariable i, IntegerValue bound)
static IntegerLiteral	TrueLiteral ()
static IntegerLiteral	FalseLiteral ()

Public Attributes
IntegerVariable	var = kNoIntegerVariable
IntegerValue	bound = IntegerValue(0)

Constructor & Destructor Documentation

IntegerLiteral() [1/2]

IntegerLiteral ( )

inline

Definition at line 190 of file integer.h.

IntegerLiteral() [2/2]

IntegerLiteral ( IntegerVariable  v, IntegerValue  b  )

inline

Definition at line 191 of file integer.h.

Member Function Documentation

DebugString()

std::string DebugString ( ) const

inline

Definition at line 210 of file integer.h.

FalseLiteral()

IntegerLiteral FalseLiteral ( )

inlinestatic

Definition at line 1515 of file integer.h.

GreaterOrEqual()

IntegerLiteral GreaterOrEqual ( IntegerVariable  i, IntegerValue  bound  )

inlinestatic

Definition at line 1499 of file integer.h.

IsAlwaysFalse()

bool IsAlwaysFalse ( ) const

inline

Definition at line 198 of file integer.h.

IsAlwaysTrue()

bool IsAlwaysTrue ( ) const

inline

Definition at line 197 of file integer.h.

IsValid()

bool IsValid ( ) const

inline

Definition at line 196 of file integer.h.

LowerOrEqual()

IntegerLiteral LowerOrEqual ( IntegerVariable  i, IntegerValue  bound  )

inlinestatic

Definition at line 1505 of file integer.h.

Negated()

IntegerLiteral Negated ( ) const

inline

Definition at line 1519 of file integer.h.

operator!=()

bool operator!= ( IntegerLiteral  o ) const

inline

Definition at line 206 of file integer.h.

operator==()

bool operator== ( IntegerLiteral  o ) const

inline

Definition at line 203 of file integer.h.

TrueLiteral()

IntegerLiteral TrueLiteral ( )

inlinestatic

Definition at line 1511 of file integer.h.

Member Data Documentation

bound

IntegerValue bound = IntegerValue(0)

Definition at line 218 of file integer.h.

var

IntegerVariable var = kNoIntegerVariable

Definition at line 217 of file integer.h.

---

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

• integer.h