This operator creates and returns a goal for use in a search. This goal represents the conjunction (logical AND) of its two goal arguments.

The returned goal can be used with the member functions IloCP::startNewSearch and IloCP::solve. An instance of IloCP extracts the goal that it returns as an instance of IlcGoal for use during a custom search.

This function creates a constraint which enforces that both ct1, and ct2 be satisfied.

A constraint needs to be added to an instance of IlcCPEngine (either directly, or indirectly) for it to take effect. Normally this is done through casting a constraint to a goal and using it in a choice point (IlcOr).

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.