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.