CONDITIONAL: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
The '''CONDITIONAL''' statement is used to identify a block of conditional statements, used to define boundaries used in [[conditional modelling]]. | The '''CONDITIONAL''' statement is used to identify a block of conditional statements, used to define boundaries used in [[conditional modelling]]. | ||
See also [[WHEN]]. | A simple example showing use of CONDITIONAL is | ||
<source lang=a4c> | |||
x,y IS_A solver_var; | |||
CONDITIONAL | |||
y < x^2 - 4 * x - 4; | |||
END CONDITIONAL; | |||
</source> | |||
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. | |||
See also [[WHEN]], [[SATISFIED]]. | |||
[[Category:Syntax]] | [[Category:Syntax]] | ||
Latest revision as of 23:28, 26 January 2011
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.