[ library(ic) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

ic:(?ExprX =:= ?ExprY)

ExprX is equal to ExprY.
ExprX
Arithmetic expression
ExprY
Arithmetic expression

Description

Constrains ExprX and ExprY to be equal.

See Also

< / 2, =< / 2, >= / 2, > / 2, =\= / 2, #= / 2, =:= / 3, =:= / 2, suspend : =:= / 2, eplex : =:= / 2, ria : =:= / 2, range_eplex : =:= / 2, colgen : =:= / 2