C++ Reference: class DisjunctiveDetectablePrecedences

Note: This documentation is automatically generated.

Method
DisjunctiveDetectablePrecedences

Arguments: bool time_direction, SchedulingConstraintHelper* helper

Propagate

Return type: bool

RegisterWith

Return type: int

Arguments: GenericLiteralWatcher* watcher