This overloaded C++ operator creates a conjunctive constraint that represents the conjunction of its two arguments. The constraint can represent a conjunction of two constraints; of a constraint and another conjunction; or of two conjunctions. In order to be taken into account, this constraint must be added to a model and extracted by an algorithm, such as IloCplex or IloSolver.