G | |
| GrbTrMoveOverOr |
Module for Move Over Or transformation
|
| GrbTrRemoveMuxStrictCycles |
Module for transformation that removes cycles from graph
|
N | |
| NodeNumber [GrbTrRemoveMuxStrictCycles] |
NodeNumber is a module that gives out natural numbers to be assingned to nodes to show the orded in which they were found in depth first search
|
T | |
| Tr [GrbTrRemoveMuxStrictCycles] | |
| Tr [GrbTrMoveOverOr] |
Module for Move Over Or transformation
|
| Tree [GrbTrRemoveMuxStrictCycles] |
Module that creates a tree and contains functions that work on a tree
|