Constraint

Constraints are particular conditions on clocks. Basically, they are conjunctions of atomic-constraints, which are comparison between respectively clocks or clock differences and discrete (integer-type) expressions.

xxxxxxxxxxxxxxxxxxconstraint ::=  

atomic-constraint { and atomic-constraint }$^*$  



atomic-constraint ::=  

expression comp-op expression $\vert$ 

expression $-$ expression comp-op expression  



comp-op ::=  

$=$ $\vert$ $<$ $\vert$ $<=$ $\vert$ $>=$ $\vert$ $>$