C++ Reference: class DisjunctivePrecedences
Note: This documentation is automatically generated.
Exploits the precedences relations of the form "this set of disjoint IntervalVariables must be performed before a given IntegerVariable". The relations are computed with PrecedencesPropagator::ComputePrecedences().Method | |
---|---|
DisjunctivePrecedences | Arguments: |
Propagate | Return type: |
RegisterWith | Return type: Arguments: |