SATISFIED
The SATISFIED function returns TRUE if a real-valued relation has a residual less than a specified tolerance. The SATISFIED statement is required for work with conditional modelling. For example,
x == SATISFIED(relname, 1e-7);
See also WHEN, CONDITIONAL, logical relation.