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

ria:(?ExprX =:= ?ExprY)

ExprX is equal to ExprY.

ExprX: Arithmetic Expression
ExprY: Arithmetic Expression

Description

Constrains ExprX and ExprY to be equal. ExprX and ExprY are general arithmetic expressions.

See Also

=:= / 2, suspend : =:= / 2, eplex : =:= / 2, range_eplex : =:= / 2, ic : =:= / 2, colgen : =:= / 2, =< / 2, >= / 2