OR-Tools  8.2
IntegerSumLE

Detailed Description

Definition at line 50 of file integer_expr.h.

Public Member Functions

 IntegerSumLE (const std::vector< Literal > &enforcement_literals, const std::vector< IntegerVariable > &vars, const std::vector< IntegerValue > &coeffs, IntegerValue upper_bound, Model *model)
 
bool Propagate () final
 
void RegisterWith (GenericLiteralWatcher *watcher)
 
bool PropagateAtLevelZero ()
 
virtual bool IncrementalPropagate (const std::vector< int > &watch_indices)
 

Constructor & Destructor Documentation

◆ IntegerSumLE()

IntegerSumLE ( const std::vector< Literal > &  enforcement_literals,
const std::vector< IntegerVariable > &  vars,
const std::vector< IntegerValue > &  coeffs,
IntegerValue  upper_bound,
Model model 
)

Definition at line 30 of file integer_expr.cc.

Member Function Documentation

◆ IncrementalPropagate()

virtual bool IncrementalPropagate ( const std::vector< int > &  watch_indices)
inlinevirtualinherited

◆ Propagate()

bool Propagate ( )
finalvirtual

Implements PropagatorInterface.

Definition at line 78 of file integer_expr.cc.

◆ PropagateAtLevelZero()

bool PropagateAtLevelZero ( )

Definition at line 194 of file integer_expr.cc.

◆ RegisterWith()

void RegisterWith ( GenericLiteralWatcher watcher)

Definition at line 236 of file integer_expr.cc.


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