OR-Tools  8.2
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: