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

?ExprX *= ?ExprY

Obsolete: use ria:(ExprX =:= ExprY) instead.
ExprX
Arithmetic Expression
ExprY
Arithmetic Expression

Description

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