Promela Reference -- operators

Promela

operator precedence rules


Arithmetic and Boolean Operator Precedence Rules, High to Low:


Spin Online References
Promela Manual Index
Promela Grammar
Spin HomePage
(Page added: 6 April 2011)