DisjunctiveDetectablePrecedences

Detailed Description

Definition at line 157 of file disjunctive.h.

Public Member Functions
	DisjunctiveDetectablePrecedences (bool time_direction, SchedulingConstraintHelper *helper)
bool	Propagate () final
int	RegisterWith (GenericLiteralWatcher *watcher)
virtual bool	IncrementalPropagate (const std::vector< int > &watch_indices)

Constructor & Destructor Documentation

DisjunctiveDetectablePrecedences()

DisjunctiveDetectablePrecedences ( bool  time_direction, SchedulingConstraintHelper *  helper  )

inline

Definition at line 159 of file disjunctive.h.

Member Function Documentation

IncrementalPropagate()

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

inlinevirtualinherited

Reimplemented in LinearProgrammingConstraint, SchedulingConstraintHelper, CircuitCoveringPropagator, NoCyclePropagator, and CircuitPropagator.

Definition at line 1298 of file integer.h.

Propagate()

bool Propagate ( )

finalvirtual

Implements PropagatorInterface.

Definition at line 693 of file disjunctive.cc.

RegisterWith()

int RegisterWith

(

GenericLiteralWatcher *

watcher

)

Definition at line 908 of file disjunctive.cc.

---

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

• disjunctive.h
• disjunctive.cc