Definition at line 280 of file integer_base.h.
#include <integer_base.h>
◆ AffineExpression() [1/5]
| operations_research::sat::AffineExpression::AffineExpression |
( |
| ) |
|
|
default |
◆ AffineExpression() [2/5]
| operations_research::sat::AffineExpression::AffineExpression |
( |
IntegerValue | cst | ) |
|
|
inline |
◆ AffineExpression() [3/5]
| operations_research::sat::AffineExpression::AffineExpression |
( |
IntegerVariable | v | ) |
|
|
inline |
◆ AffineExpression() [4/5]
| operations_research::sat::AffineExpression::AffineExpression |
( |
IntegerVariable | v, |
|
|
IntegerValue | c ) |
|
inline |
◆ AffineExpression() [5/5]
| operations_research::sat::AffineExpression::AffineExpression |
( |
IntegerVariable | v, |
|
|
IntegerValue | c, |
|
|
IntegerValue | cst ) |
|
inline |
◆ GreaterOrEqual()
| IntegerLiteral operations_research::sat::AffineExpression::GreaterOrEqual |
( |
IntegerValue | bound | ) |
const |
|
inline |
◆ IsConstant()
| bool operations_research::sat::AffineExpression::IsConstant |
( |
| ) |
const |
|
inline |
◆ LowerOrEqual()
| IntegerLiteral operations_research::sat::AffineExpression::LowerOrEqual |
( |
IntegerValue | bound | ) |
const |
|
inline |
◆ LpValue()
| double operations_research::sat::AffineExpression::LpValue |
( |
const util_intops::StrongVector< IntegerVariable, double > & | lp_values | ) |
const |
|
inline |
◆ MultipliedBy()
| AffineExpression operations_research::sat::AffineExpression::MultipliedBy |
( |
IntegerValue | multiplier | ) |
const |
|
inline |
◆ Negated()
◆ operator==()
| bool operations_research::sat::AffineExpression::operator== |
( |
AffineExpression | o | ) |
const |
|
inline |
◆ ValueAt()
| IntegerValue operations_research::sat::AffineExpression::ValueAt |
( |
IntegerValue | var_value | ) |
const |
|
inline |
◆ AbslStringify
◆ coeff
| IntegerValue operations_research::sat::AffineExpression::coeff = IntegerValue(0) |
◆ constant
| IntegerValue operations_research::sat::AffineExpression::constant = IntegerValue(0) |
◆ var
The documentation for this struct was generated from the following file: