NodeOrdering
Attributes
- Graph
- Supertypes
- class Objecttrait Matchableclass Any
- Self type
- NodeOrdering.type
Members list
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.
Attributes
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.
Attributes
For a list of (node, number) pairs, return the list of nodes obtained by sorting nodes according to number in reverse order.
For a list of (node, number) pairs, return the list of nodes obtained by sorting nodes according to number in reverse order.