Stay organized with collections Save and categorize content based on your preferences.

C++ Reference: class DisjunctiveWithTwoItems

Note: This documentation is automatically generated.

This is an optimization for the case when we have a big number of such pairwise constraints. This should be roughtly equivalent to what the general disjunctive case is doing, but it dealt with variable size better and has a lot less overhead.

Return type: explicit

Arguments: SchedulingConstraintHelper* helper


Return type: bool


Return type: int

Arguments: GenericLiteralWatcher* watcher