OR-Tools  8.2
DisjunctivePrecedences

Detailed Description

Definition at line 263 of file disjunctive.h.

Public Member Functions

 DisjunctivePrecedences (bool time_direction, SchedulingConstraintHelper *helper, IntegerTrail *integer_trail, PrecedencesPropagator *precedences)
 
bool Propagate () final
 
int RegisterWith (GenericLiteralWatcher *watcher)
 
virtual bool IncrementalPropagate (const std::vector< int > &watch_indices)
 

Constructor & Destructor Documentation

◆ DisjunctivePrecedences()

DisjunctivePrecedences ( bool  time_direction,
SchedulingConstraintHelper helper,
IntegerTrail integer_trail,
PrecedencesPropagator precedences 
)
inline

Definition at line 265 of file disjunctive.h.

Member Function Documentation

◆ IncrementalPropagate()

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

◆ Propagate()

bool Propagate ( )
finalvirtual

Implements PropagatorInterface.

Definition at line 872 of file disjunctive.cc.

◆ RegisterWith()

int RegisterWith ( GenericLiteralWatcher watcher)

Definition at line 983 of file disjunctive.cc.


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