Index of types


B
binary_operator [Promela.Expression]

K
key [Promela.Declarations]
The key of the declarations map is a Promela identifier

S
special [Promela.Label]
Auxiliary attributes of the label

T
t [Promela.Model]
Promela model
t [Promela.Process]
t [Promela.Statement]
t [Promela.Declarations]
Promela variable declarations as a map from identifiers to types and initial values
t [Promela.Expression]
t [Promela.Type]
t [Promela.Label]
t [Promela.Identifier]
A Promela identifier of the form [a-zA-Z][a-zA-Z0-9_]*

U
unary_operator [Promela.Expression]

V
value [Promela.Declarations]
The value of the declarations map is a tuple of a Promela type and an optional initial value