Safe Haskell | None |
---|

Internal representation of automata nodes specialized to a version with unlabeled edges.

# Basic types

# Node

Two nodes (states) belong to the same equivalence class (and, consequently, they must be represented as one node in the graph) iff they are equal with respect to their values and outgoing edges.

Since `Leaf`

nodes are distinguished from `Branch`

nodes, two values
equal with respect to `==`

function are always kept in one `Leaf`

node in the graph. It doesn't change the fact that to all `Branch`

nodes one value is assigned through the epsilon transition.

Invariant: the `eps`

identifier always points to the `Leaf`

node.
Edges in the `edgeMap`

, on the other hand, point to `Branch`

nodes.