This overloaded C++ operator creates a disjunctive constraint that represents the disjunction of its two parameters. The constraint can represent a disjunction of two constraints; of a constraint and another disjunction; or of two disjunctions. In order to be taken into account, this constraint must be added to a model and extracted for an algorithm.