OR-Tools  8.2
AllDifferentBoundsPropagator

Detailed Description

Definition at line 147 of file all_different.h.

Public Member Functions

 AllDifferentBoundsPropagator (const std::vector< IntegerVariable > &vars, IntegerTrail *integer_trail)
 
bool Propagate () final
 
void RegisterWith (GenericLiteralWatcher *watcher)
 
virtual bool IncrementalPropagate (const std::vector< int > &watch_indices)
 

Constructor & Destructor Documentation

◆ AllDifferentBoundsPropagator()

AllDifferentBoundsPropagator ( const std::vector< IntegerVariable > &  vars,
IntegerTrail integer_trail 
)

Definition at line 418 of file all_different.cc.

Member Function Documentation

◆ IncrementalPropagate()

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

◆ Propagate()

bool Propagate ( )
finalvirtual

Implements PropagatorInterface.

Definition at line 435 of file all_different.cc.

◆ RegisterWith()

void RegisterWith ( GenericLiteralWatcher watcher)

Definition at line 635 of file all_different.cc.


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