IntegerLiteral

Detailed Description

Definition at line 153 of file integer.h.

Public Member Functions
	IntegerLiteral ()
	IntegerLiteral (IntegerVariable v, IntegerValue b)
bool	IsValid () 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)

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

Constructor & Destructor Documentation

IntegerLiteral() [1/2]

IntegerLiteral ( )

inline

Definition at line 164 of file integer.h.

IntegerLiteral() [2/2]

IntegerLiteral ( IntegerVariable  v, IntegerValue  b  )

inline

Definition at line 165 of file integer.h.

Member Function Documentation

DebugString()

std::string DebugString ( ) const

inline

Definition at line 182 of file integer.h.

GreaterOrEqual()

IntegerLiteral GreaterOrEqual ( IntegerVariable  i, IntegerValue  bound  )

inlinestatic

Definition at line 1264 of file integer.h.

IsValid()

bool IsValid ( ) const

inline

Definition at line 170 of file integer.h.

LowerOrEqual()

IntegerLiteral LowerOrEqual ( IntegerVariable  i, IntegerValue  bound  )

inlinestatic

Definition at line 1270 of file integer.h.

Negated()

IntegerLiteral Negated ( ) const

inline

Definition at line 1276 of file integer.h.

operator!=()

bool operator!= ( IntegerLiteral  o ) const

inline

Definition at line 178 of file integer.h.

operator==()

bool operator== ( IntegerLiteral  o ) const

inline

Definition at line 175 of file integer.h.

Member Data Documentation

bound

IntegerValue bound = IntegerValue(0)

Definition at line 190 of file integer.h.

var

IntegerVariable var = kNoIntegerVariable

Definition at line 189 of file integer.h.

---

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

• integer.h