The CONDITIONAL statement is used to identify a block of conditional statements, used to define boundaries used in conditional modelling.
A simple example showing use of CONDITIONAL is
x,y IS_A solver_var; CONDITIONAL y < x^2 - 4 * x - 4; END CONDITIONAL;
The CONDITIONAL statement can appear anywhere in the declarative portion of the model and it contains only relations that specify boundary conditions.
The boundaries specified within CONDITIONAL statements can later be used to general logical truth states via the SATISFIED operator.