OR-Tools  8.2
MutableUpperBoundedLinearConstraint

Detailed Description

Definition at line 173 of file pb_constraint.h.

Public Member Functions

void ClearAndResize (int num_variables)
 
void ClearAll ()
 
Coefficient GetCoefficient (BooleanVariable var) const
 
Literal GetLiteral (BooleanVariable var) const
 
void ReduceCoefficients ()
 
void ReduceGivenCoefficient (BooleanVariable var)
 
Coefficient ComputeSlackForTrailPrefix (const Trail &trail, int trail_index) const
 
Coefficient ReduceCoefficientsAndComputeSlackForTrailPrefix (const Trail &trail, int trail_index)
 
void ReduceSlackTo (const Trail &trail, int trail_index, Coefficient initial_slack, Coefficient target)
 
void CopyIntoVector (std::vector< LiteralWithCoeff > *output)
 
void AddToRhs (Coefficient value)
 
Coefficient Rhs () const
 
Coefficient MaxSum () const
 
void AddTerm (Literal literal, Coefficient coeff)
 
Coefficient CancelationAmount (Literal literal, Coefficient coeff) const
 
const std::vector< BooleanVariable > & PossibleNonZeros () const
 
std::string DebugString ()
 

Member Function Documentation

◆ AddTerm()

void AddTerm ( Literal  literal,
Coefficient  coeff 
)
inline

Definition at line 273 of file pb_constraint.h.

◆ AddToRhs()

void AddToRhs ( Coefficient  value)
inline

Definition at line 264 of file pb_constraint.h.

◆ CancelationAmount()

Coefficient CancelationAmount ( Literal  literal,
Coefficient  coeff 
) const
inline

Definition at line 296 of file pb_constraint.h.

◆ ClearAll()

void ClearAll ( )

Definition at line 250 of file pb_constraint.cc.

◆ ClearAndResize()

void ClearAndResize ( int  num_variables)

Definition at line 239 of file pb_constraint.cc.

◆ ComputeSlackForTrailPrefix()

Coefficient ComputeSlackForTrailPrefix ( const Trail trail,
int  trail_index 
) const

Definition at line 290 of file pb_constraint.cc.

◆ CopyIntoVector()

void CopyIntoVector ( std::vector< LiteralWithCoeff > *  output)

Definition at line 370 of file pb_constraint.cc.

◆ DebugString()

std::string DebugString ( )

Definition at line 277 of file pb_constraint.cc.

◆ GetCoefficient()

Coefficient GetCoefficient ( BooleanVariable  var) const
inline

Definition at line 184 of file pb_constraint.h.

◆ GetLiteral()

Literal GetLiteral ( BooleanVariable  var) const
inline

Definition at line 191 of file pb_constraint.h.

◆ MaxSum()

Coefficient MaxSum ( ) const
inline

Definition at line 269 of file pb_constraint.h.

◆ PossibleNonZeros()

const std::vector< BooleanVariable > & PossibleNonZeros ( ) const
inline

Definition at line 305 of file pb_constraint.h.

◆ ReduceCoefficients()

void ReduceCoefficients ( )

Definition at line 261 of file pb_constraint.cc.

◆ ReduceCoefficientsAndComputeSlackForTrailPrefix()

Coefficient ReduceCoefficientsAndComputeSlackForTrailPrefix ( const Trail trail,
int  trail_index 
)

Definition at line 303 of file pb_constraint.cc.

◆ ReduceGivenCoefficient()

void ReduceGivenCoefficient ( BooleanVariable  var)
inline

Definition at line 208 of file pb_constraint.h.

◆ ReduceSlackTo()

void ReduceSlackTo ( const Trail trail,
int  trail_index,
Coefficient  initial_slack,
Coefficient  target 
)

Definition at line 333 of file pb_constraint.cc.

◆ Rhs()

Coefficient Rhs ( ) const
inline

Definition at line 268 of file pb_constraint.h.


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