NodeOrdering

class Object
trait Matchable
class Any

Value members

Concrete methods

def nodeList[NodeType](nodeNumberPairs: List[(NodeType, Int)]): List[NodeType]

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]): LinkedHashMap[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.

def reverseNodeList[NodeType](nodeNumberPairs: List[(NodeType, Int)]): List[NodeType]

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.