NodeOrdering
object NodeOrdering
Value members
Concrete methods
For a list of (node, number) pairs, return the list of nodes obtained by sorting nodes according to number.
For a list of (node, number) pairs, return the list of nodes obtained by sorting nodes according to number.
def postOrderNumbering[NodeType](cfgEntry: NodeType, expand: NodeType => Iterator[NodeType]): Map[NodeType, Int]
For a given CFG with the entry node cfgEntry
and an expansion function expand
,
return a map that associates each node with an index such that nodes are numbered
in post order.
For a given CFG with the entry node cfgEntry
and an expansion function expand
,
return a map that associates each node with an index such that nodes are numbered
in post order.