GraphRewriting.Strategies.Control

Documentation

data Wrapper n

Constructors

Wrapper

Fields

control :: Control

wrapped :: n

Instances

View v n => View v (Wrapper n)

View Control (Wrapper n)

LeftmostOutermost n => LeftmostOutermost (Wrapper n)

data Control

Constructors

Control

Fields

stack :: [Node]

NoControl

Instances

View Control (Wrapper n)

wrapGraph :: Graph n -> Graph (Wrapper n)

Wraps the nodes of a graph, augmenting them with control information