[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 on January 22, 2026 using texi2html 1.82.