C++ Reference: class DisjunctiveNotLast

Note: This documentation is automatically generated.

Method
DisjunctiveNotLast

Arguments: bool time_direction, SchedulingConstraintHelper* helper

Propagate

Return type: bool

RegisterWith

Return type: int

Arguments: GenericLiteralWatcher* watcher