Index of types


B
bg [Big]
The type of bigraphs.
bg_key [Big]
The type of bigraphs keys.

E
edg [Link]
The type of edges.
elt [Link.Lg]
elt [Link.Face]

G
graph [Pbrs]
The type of Discrete Time Markov Chains (DTMC).
graph [Sbrs]
The type of Continuous Time Markov Chains (CTMC).
graph [Brs]
The type of transition systems.

I
inter [Big]
The type of interfaces.

K
key [Link.Ports]

L
label [Pbrs]
label [Sbrs]
label [Brs]
limit [Pbrs]
Type of simulation limit
limit [Sbrs]
Type of simulation limit
limit [Brs]
Type of simulation limit

N
name [Link]
The type of names.

O
occ [Pbrs]
Type of occurrences
occ [Sbrs]
Type of occurrences
occ [Brs]
Type of occurrences
occ [Big]
The type of occurrences: an isomorphism over nodes, an isomorphism over edges and a function over hyper-edges.

P
p_class [Pbrs]
The type of priority classes, i.e.
p_class [Sbrs]
The type of priority classes, i.e.
p_class [Brs]
The type of priority classes, i.e.
pg [Place]
The type of place graphs.

R
react [Pbrs]
The type of probabilistic bigraphical reaction rules.
react [Sbrs]
The type of stochastic bigraphical reaction rules.
react [Brs]
The type of bigraphical reaction rules.
react_error [Pbrs]
The type of reaction validity errors.
react_error [Sbrs]
The type of reaction validity errors.
react_error [Brs]
The type of reaction validity errors.

S
stats [Pbrs]
Execution statistics.
stats [Sbrs]
Execution statistics.
stats [Brs]
Execution statistics.

T
t [Link.Lg]
t [Link.Ports]
t [Link.Face]
t [Rs]
Kinds of transition systems.
t [Fun]
Type of functions on integers.
t [Iso]
Type of isomorphisms on integers.
t [Nodes]
The type of a set of nodes.
t [Ctrl]
C (s, ar) creates a control of arity ar named s.