next up previous contents
Next: Rules Up: Definition of the Programming Previous: The Initial State   Contents

The Constant Definition


$$ Constant-Definition ::= "define" Constant ":=" Constant-Expression ";" .

A constant definition is of the form

@ constant := expr;
The constant expression expr will be evalued and the constant @ constant will be defined to have this value. The constant must not be defined previously. The constant is valid from this definition up to the end of the rule file.



Bjoern Beutel