OR-Tools  8.2
AllDifferentConstraint

Detailed Description

Definition at line 62 of file all_different.h.

Public Member Functions

 AllDifferentConstraint (std::vector< IntegerVariable > variables, IntegerEncoder *encoder, Trail *trail, IntegerTrail *integer_trail)
 
bool Propagate () final
 
void RegisterWith (GenericLiteralWatcher *watcher)
 

Constructor & Destructor Documentation

◆ AllDifferentConstraint()

AllDifferentConstraint ( std::vector< IntegerVariable >  variables,
IntegerEncoder encoder,
Trail trail,
IntegerTrail integer_trail 
)

Definition at line 89 of file all_different.cc.

Member Function Documentation

◆ Propagate()

bool Propagate ( )
finalvirtual

Implements PropagatorInterface.

Definition at line 237 of file all_different.cc.

◆ RegisterWith()

void RegisterWith ( GenericLiteralWatcher watcher)

Definition at line 148 of file all_different.cc.


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