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.

Method
DisjunctiveWithTwoItems	Return type: explicit Arguments: SchedulingConstraintHelper* helper
Propagate	Return type: bool
RegisterWith	Return type: int Arguments: GenericLiteralWatcher* watcher