Index of modules


B
Big
This module provides operations on bigraphs.
Brs
This module provides operations on BRS.

C
Ctrl
The module of bigraphical controls.

F
Face [Link]
This module provides set operations for faces.
Fun
This module provides an implementation of functions on integers.

I
Iso
This module provides an implementation of isomorphisms on integers.

L
Lg [Link]
This module provides set operations for link graphs.
Link
This module provides operations on link graphs.

N
Nodes
This module provides operations on bigraphical nodes.

P
Pbrs
This module provides operations on probabilistic BRS.
Place
This module provides operations on place graphs.
Ports [Link]
This module implements multisets of nodes as maps.

R
Rs
Types of rective systems.

S
Sbrs
This module provides operations on stochastic BRS.