[Top] [Contents] [Index] [ ? ]

Footnotes

(1)

The identifier type does not have any literals, and thus it is impossible to define constraints for types containing it.

(2)

Also the terms binding and firing mode have been used.

(3)

This relies on short-circuit evaluation: if the left-hand-side of one these operators alone can determine the result of the operation, the right-hand-side will not be evaluated.

(4)

For discussion on the order of values in types, see Type Definitions: ‘typedef.

(5)

One does not need a constrained Boolean type very often, but nevertheless it can be defined.

(6)

With output variables, we only mean these non-deterministic variables, not all the variables that may occur in the output arc expressions of a transition.

(7)

If the ‘make’ command on your system does not seem to come along with the ‘Makefile’, use GNU Make.


[Top] [Contents] [Index] [ ? ]

This document was generated by root on November 22, 2009 using texi2html 1.82.