OR-Tools  9.6
Public Member Functions | List of all members
LinearConstraintBuilder

Detailed Description

Definition at line 157 of file sat/linear_constraint.h.

Public Member Functions

 LinearConstraintBuilder (const Model *model)
 
 LinearConstraintBuilder (const Model *model, IntegerValue lb, IntegerValue ub)
 
 LinearConstraintBuilder ()
 
void AddConstant (IntegerValue value)
 
void AddTerm (IntegerVariable var, IntegerValue coeff)
 
void AddTerm (AffineExpression expr, IntegerValue coeff)
 
void AddLinearExpression (const LinearExpression &expr)
 
void AddLinearExpression (const LinearExpression &expr, IntegerValue coeff)
 
ABSL_MUST_USE_RESULT bool AddDecomposedProduct (const std::vector< LiteralValueValue > &product)
 
ABSL_MUST_USE_RESULT bool AddLiteralTerm (Literal lit, IntegerValue coeff=IntegerValue(1))
 
void AddQuadraticLowerBound (AffineExpression left, AffineExpression right, IntegerTrail *integer_trail, bool *is_quadratic=nullptr)
 
void Clear ()
 
void ResetBounds (IntegerValue lb, IntegerValue ub)
 
LinearConstraint Build ()
 
LinearConstraint BuildConstraint (IntegerValue lb, IntegerValue ub)
 
LinearExpression BuildExpression ()
 

Constructor & Destructor Documentation

◆ LinearConstraintBuilder() [1/3]

LinearConstraintBuilder ( const Model *  model)
inlineexplicit

Definition at line 164 of file sat/linear_constraint.h.

◆ LinearConstraintBuilder() [2/3]

LinearConstraintBuilder ( const Model *  model,
IntegerValue  lb,
IntegerValue  ub 
)
inline

Definition at line 166 of file sat/linear_constraint.h.

◆ LinearConstraintBuilder() [3/3]

LinearConstraintBuilder ( )
inline

Definition at line 174 of file sat/linear_constraint.h.

Member Function Documentation

◆ AddConstant()

void AddConstant ( IntegerValue  value)

Definition at line 122 of file linear_constraint.cc.

◆ AddDecomposedProduct()

ABSL_MUST_USE_RESULT bool AddDecomposedProduct ( const std::vector< LiteralValueValue > &  product)

Definition at line 83 of file linear_constraint.cc.

◆ AddLinearExpression() [1/2]

void AddLinearExpression ( const LinearExpression &  expr)

Definition at line 65 of file linear_constraint.cc.

◆ AddLinearExpression() [2/2]

void AddLinearExpression ( const LinearExpression &  expr,
IntegerValue  coeff 
)

Definition at line 70 of file linear_constraint.cc.

◆ AddLiteralTerm()

ABSL_MUST_USE_RESULT bool AddLiteralTerm ( Literal  lit,
IntegerValue  coeff = IntegerValue(1) 
)

Definition at line 126 of file linear_constraint.cc.

◆ AddQuadraticLowerBound()

void AddQuadraticLowerBound ( AffineExpression  left,
AffineExpression  right,
IntegerTrail *  integer_trail,
bool *  is_quadratic = nullptr 
)

Definition at line 104 of file linear_constraint.cc.

◆ AddTerm() [1/2]

void AddTerm ( AffineExpression  expr,
IntegerValue  coeff 
)

Definition at line 50 of file linear_constraint.cc.

◆ AddTerm() [2/2]

void AddTerm ( IntegerVariable  var,
IntegerValue  coeff 
)

Definition at line 39 of file linear_constraint.cc.

◆ Build()

LinearConstraint Build ( )

Definition at line 144 of file linear_constraint.cc.

◆ BuildConstraint()

LinearConstraint BuildConstraint ( IntegerValue  lb,
IntegerValue  ub 
)

Definition at line 148 of file linear_constraint.cc.

◆ BuildExpression()

LinearExpression BuildExpression ( )

Definition at line 157 of file linear_constraint.cc.

◆ Clear()

void Clear ( )
inline

Definition at line 213 of file sat/linear_constraint.h.

◆ ResetBounds()

void ResetBounds ( IntegerValue  lb,
IntegerValue  ub 
)
inline

Definition at line 219 of file sat/linear_constraint.h.

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