Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::LinearExpression Struct Reference

#include <linear_constraint.h>

Public Member Functions

double LpValue (const util_intops::StrongVector< IntegerVariable, double > &lp_values) const
 Return[s] the evaluation of the linear expression.
IntegerValue LevelZeroMin (IntegerTrail *integer_trail) const
IntegerValue Min (const IntegerTrail &integer_trail) const
IntegerValue Max (const IntegerTrail &integer_trail) const
std::string DebugString () const

Public Attributes

std::vector< IntegerVariable > vars
std::vector< IntegerValue > coeffs
IntegerValue offset = IntegerValue(0)

Detailed Description

Helper struct to model linear expression for lin_min/lin_max constraints. The canonical expression should only contain positive coefficients.

Definition at line 142 of file linear_constraint.h.

Member Function Documentation

◆ DebugString()

std::string operations_research::sat::LinearExpression::DebugString ( ) const

Definition at line 375 of file linear_constraint.cc.

◆ LevelZeroMin()

IntegerValue operations_research::sat::LinearExpression::LevelZeroMin ( IntegerTrail * integer_trail) const

Definition at line 342 of file linear_constraint.cc.

◆ LpValue()

double operations_research::sat::LinearExpression::LpValue ( const util_intops::StrongVector< IntegerVariable, double > & lp_values) const

Return[s] the evaluation of the linear expression.

Definition at line 333 of file linear_constraint.cc.

◆ Max()

IntegerValue operations_research::sat::LinearExpression::Max ( const IntegerTrail & integer_trail) const

Returns upper bound of linear expression using variable bounds of the variables in expression.

Definition at line 363 of file linear_constraint.cc.

◆ Min()

IntegerValue operations_research::sat::LinearExpression::Min ( const IntegerTrail & integer_trail) const

Returns lower bound of linear expression using variable bounds of the variables in expression.

Definition at line 351 of file linear_constraint.cc.

Member Data Documentation

◆ coeffs

std::vector<IntegerValue> operations_research::sat::LinearExpression::coeffs

Definition at line 144 of file linear_constraint.h.

◆ offset

IntegerValue operations_research::sat::LinearExpression::offset = IntegerValue(0)

Definition at line 145 of file linear_constraint.h.

◆ vars

std::vector<IntegerVariable> operations_research::sat::LinearExpression::vars

Definition at line 143 of file linear_constraint.h.


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