OR-Tools  8.2
LinMinPropagator

Detailed Description

Definition at line 183 of file integer_expr.h.

Public Member Functions

 LinMinPropagator (const std::vector< LinearExpression > &exprs, IntegerVariable min_var, Model *model)
 
 LinMinPropagator (const LinMinPropagator &)=delete
 
LinMinPropagatoroperator= (const LinMinPropagator &)=delete
 
bool Propagate () final
 
void RegisterWith (GenericLiteralWatcher *watcher)
 
virtual bool IncrementalPropagate (const std::vector< int > &watch_indices)
 

Constructor & Destructor Documentation

◆ LinMinPropagator() [1/2]

LinMinPropagator ( const std::vector< LinearExpression > &  exprs,
IntegerVariable  min_var,
Model model 
)

Definition at line 412 of file integer_expr.cc.

◆ LinMinPropagator() [2/2]

LinMinPropagator ( const LinMinPropagator )
delete

Member Function Documentation

◆ IncrementalPropagate()

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

◆ operator=()

LinMinPropagator& operator= ( const LinMinPropagator )
delete

◆ Propagate()

bool Propagate ( )
finalvirtual

Implements PropagatorInterface.

Definition at line 516 of file integer_expr.cc.

◆ RegisterWith()

void RegisterWith ( GenericLiteralWatcher watcher)

Definition at line 602 of file integer_expr.cc.


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