AffineExpression

Detailed Description

Definition at line 251 of file integer.h.

Public Member Functions
	AffineExpression ()
	AffineExpression (IntegerValue cst)
	AffineExpression (IntegerVariable v)
	AffineExpression (IntegerVariable v, IntegerValue c)
	AffineExpression (IntegerVariable v, IntegerValue c, IntegerValue cst)
IntegerLiteral	GreaterOrEqual (IntegerValue bound) const
IntegerLiteral	LowerOrEqual (IntegerValue bound) const
IntegerLiteral	GreaterOrEqual (int64_t bound) const
IntegerLiteral	LowerOrEqual (int64_t bound) const
AffineExpression	Negated () const
AffineExpression	MultipliedBy (IntegerValue multiplier) const
bool	operator== (AffineExpression o) const
IntegerValue	ValueAt (IntegerValue var_value) const
double	LpValue (const absl::StrongVector< IntegerVariable, double > &lp_values) const
bool	IsConstant () const
const std::string	DebugString () const

Public Attributes
IntegerVariable	var = kNoIntegerVariable
IntegerValue	coeff = IntegerValue(0)
IntegerValue	constant = IntegerValue(0)

Constructor & Destructor Documentation

AffineExpression() [1/5]

AffineExpression ( )

inline

Definition at line 253 of file integer.h.

AffineExpression() [2/5]

AffineExpression ( IntegerValue  cst )

inline

Definition at line 254 of file integer.h.

AffineExpression() [3/5]

AffineExpression ( IntegerVariable  v )

inline

Definition at line 256 of file integer.h.

AffineExpression() [4/5]

AffineExpression ( IntegerVariable  v, IntegerValue  c  )

inline

Definition at line 258 of file integer.h.

AffineExpression() [5/5]

AffineExpression ( IntegerVariable  v, IntegerValue  c, IntegerValue  cst  )

inline

Definition at line 260 of file integer.h.

Member Function Documentation

DebugString()

const std::string DebugString ( ) const

inline

Definition at line 304 of file integer.h.

GreaterOrEqual() [1/2]

IntegerLiteral GreaterOrEqual ( int64_t  bound ) const

inline

Definition at line 1539 of file integer.h.

GreaterOrEqual() [2/2]

IntegerLiteral GreaterOrEqual ( IntegerValue  bound ) const

inline

Definition at line 1528 of file integer.h.

IsConstant()

bool IsConstant ( ) const

inline

Definition at line 302 of file integer.h.

LowerOrEqual() [1/2]

IntegerLiteral LowerOrEqual ( int64_t  bound ) const

inline

Definition at line 1553 of file integer.h.

LowerOrEqual() [2/2]

IntegerLiteral LowerOrEqual ( IntegerValue  bound ) const

inline

Definition at line 1544 of file integer.h.

LpValue()

double LpValue ( const absl::StrongVector< IntegerVariable, double > &  lp_values ) const

inline

Definition at line 296 of file integer.h.

MultipliedBy()

AffineExpression MultipliedBy ( IntegerValue  multiplier ) const

inline

Definition at line 281 of file integer.h.

Negated()

AffineExpression Negated ( ) const

inline

Definition at line 276 of file integer.h.

operator==()

bool operator== ( AffineExpression  o ) const

inline

Definition at line 286 of file integer.h.

ValueAt()

IntegerValue ValueAt ( IntegerValue  var_value ) const

inline

Definition at line 291 of file integer.h.

Member Data Documentation

coeff

IntegerValue coeff = IntegerValue(0)

Definition at line 319 of file integer.h.

constant

IntegerValue constant = IntegerValue(0)

Definition at line 320 of file integer.h.

var

IntegerVariable var = kNoIntegerVariable

Definition at line 318 of file integer.h.

---

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

• integer.h