OR-Tools  8.2
FixedDivisionPropagator

Detailed Description

Definition at line 258 of file integer_expr.h.

Public Member Functions

 FixedDivisionPropagator (IntegerVariable a, IntegerValue b, IntegerVariable c, IntegerTrail *integer_trail)
 
bool Propagate () final
 
void RegisterWith (GenericLiteralWatcher *watcher)
 
virtual bool IncrementalPropagate (const std::vector< int > &watch_indices)
 

Constructor & Destructor Documentation

◆ FixedDivisionPropagator()

FixedDivisionPropagator ( IntegerVariable  a,
IntegerValue  b,
IntegerVariable  c,
IntegerTrail integer_trail 
)

Definition at line 816 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 822 of file integer_expr.cc.

◆ RegisterWith()

void RegisterWith ( GenericLiteralWatcher watcher)

Definition at line 869 of file integer_expr.cc.


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