Overview | Group | Tree | Graph | Deprecated | Index | Concepts |
This operator creates and returns a goal. This goal represents the
disjunction (that is, logical OR) between its parameters,
g1
and g2
.
If you would like to represent the disjunction of two constraints
(rather than two goals), then you should consider an instance of the
class IloOr
.
The returned goal can be used with 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.
See Also:
This function creates a constraint which enforces that at least one
of 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
).
See Also:
This overloaded C++ operator creates a disjunctive
constraint that represents the
disjunction of its two arguments. 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 by an algorithm, such as
IloCplex
or IloSolver
.