
#<(?ExprX, ?ExprY, ?Bool)

   Reified ExprX is less than ExprY (with integrality constraints).

Arguments
   ExprX               Integer arithmetic expression
   ExprY               Integer arithmetic expression
   Bool                Reified truth value of the constraint

Type
   library(ic)

Description

    This predicate is an evaluation constraint: it succeeds if and
    only if the truth value of its associated constraint (the
    constraint with arity one less and the same arguments except for
    B) is equal to B, where the value 0 means false and 1 true. This
    constraint can be used both to test the validity of the associated
    constraint (entailment test) and to impose this constraint or its
    negation. For the former, B will be instantiated as soon as either
    the associated constraint or its negation is subsumed by the
    current state of its domain variables. For the latter, when B is
    instantiated, then depending on its value, either the associated
    constraint or its negation will be imposed on its
    arguments.


See Also
   #= / 2, #>= / 2, #> / 2, #< / 2, #\= / 2, =< / 2, suspend : #=< / 2, ria : #=< / 2, fdplex : #=< / 2
