
ic:(?ExprX =:= ?ExprY)

   ExprX is equal to ExprY.

Arguments
   ExprX               Arithmetic expression
   ExprY               Arithmetic expression

Type
   library(ic)

Description


   Constrains ExprX and ExprY to be equal. NOTE: Terms in either
   Expression may be user defined predicates which will be treated in
   the same manner as 'is/2'. i.e. An extra argument will be appended
   and inserted into the expression.

   The logical connectives 'and', 'or' and '=>'(implication) can be
   used to combine the truth values of logicaly reified constraints.
   For example.
   
[eclipse 3]: ic:(T =:= ((X>3.0) and (X3.0) and (X3.0) and (X
   The logical operator 'neg' can be used to negate thetruth of a
      reified expression. For example.
   
[eclipse 6]: ic:(T =:= (neg ((X>3.0) and (X3.0) and (X



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