Overview | Group | Tree | Graph | Index | Concepts |
This overloaded C++ operator constrains its first argument to be less than or equal to its second argument. In order to be taken into account, this constraint must be added to a model and extracted for an algorithm.
These operators create a new
IloPredicate<IloObject>
instance
by comparing the value returned by an evaluator with either that of
another evaluator or a threshold value. The semantics of the new
predicate is a less-than-or-equal comparison. The first function
creates a predicate which returns IloTrue
if and only
if the value returned by the left evaluator is less than or equal
to the value returned by the right evaluator. The second function
creates a predicate which returns IloTrue
if and only
if the value returned by the left evaluator is less than or equal
to the threshold value. Finally, the third function creates a
predicate that returns IloTrue
if and only if the
threshold value is less than or equal to the value returned by the
right evaluator.
For more information, see Selectors.
This overloaded C++ operator constrains its first argument to be less than or equal to its second argument. In order to be taken into account, this constraint must be added to a model and extracted for an algorithm.
This operator compares its arguments; if the first argument is less than or
equal to the second, then it returns IlcTrue
; otherwise, it returns IlcFalse
.
See Also:
IlcRevFloat, IlcRevInt, IlcIntToIntStepFunction
This operator creates and returns an inequality constraint between its arguments; that is, the first argument must be less than or equal to the second.
When its arguments are constraints (instances of IlcConstraint
),
the constraint that this operator creates and returns is the implication between its
arguments: ct1
implies ct2
. The implication operator may look strange.
This operator was selected for two reasons. First, there is no operator in C++ that looks like the
conventional implication sign, =>. One possible candidate is -> but because of its purpose
in C++, that choice is too dangerous. Second, if you recall that 1 represents IlcTrue
,
and 0 represents IlcFalse
, then implication is the “less than or equal to”
constraint.
This constraint is associated with the whenRange
propagation event after you
post it if its arguments are constrained floating-point expressions or constrained integer
expressions.
When you create a constraint, it has no effect until you post it.
See Also:
IlcConstraint, IlcFloatExp, IlcIntExp, IlcLeOffset, operator>=, operator!=, operator==