Equation Blocks

Equation blocks let you specify more complex functions and improve the readability of your equations. An equation block is enclosed in braces ({}), and is supported wherever a single equation is supported. Within a conditional expression, such as If-Then, Case, or When-Then, equation blocks result in logic functions that are logically ANDed with the conditional expression that is in effect.

Example

state 5 : IF a == 1 then 1
WITH {x : = 1 ;
y : = 1 ;};
ELSE 2 WITH {x : = 0 ;
y : = 1 ;};