sandmark.util.graph
Class Dominator

java.lang.Object
  |
  +--sandmark.util.graph.Dominator

public class Dominator

extends java.lang.Object

Field Summary

(package private) java.util.HashMap	dom
(package private) Graph	graph
(package private) int	size

Constructor Summary

Dominator(Graph graph)

Method Summary

(package private) void	compute()
java.util.HashSet	dominatedBy(Node n) Return the set of nodes that n dominates.
java.util.HashSet	dominatorsOf(Node n) Return the set of nodes that dominates n.
(package private) java.util.BitSet	emptySet()
(package private) java.util.BitSet	fullSet()
(package private) boolean	getNodeBit(java.util.BitSet b, Node n)
Node	immediateDominator(Node n) Return the set of nodes that n dominates.
(package private) void	init()
boolean	isDominatedBy(Node n, Node m) Return true if n dominates m.
static void	main(java.lang.String[] args) Test on graph from dragon book, page 603 and 671.
(package private) java.util.BitSet	nodeSet(Node n)
(package private) void	setNodeBit(java.util.BitSet b, Node n)
(package private) java.util.BitSet	singletonSet(Node n)
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

graph

Graph graph

dom

java.util.HashMap dom

size

int size

Constructor Detail

Dominator

public Dominator(Graph graph)

Method Detail

init

void init()

compute

void compute()

isDominatedBy

public boolean isDominatedBy(Node n,
                             Node m)

Return true if n dominates m.

dominatorsOf

public java.util.HashSet dominatorsOf(Node n)

Return the set of nodes that dominates n.

dominatedBy

public java.util.HashSet dominatedBy(Node n)

Return the set of nodes that n dominates.

immediateDominator

public Node immediateDominator(Node n)

Return the set of nodes that n dominates.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

fullSet

java.util.BitSet fullSet()

emptySet

java.util.BitSet emptySet()

singletonSet

java.util.BitSet singletonSet(Node n)

setNodeBit

void setNodeBit(java.util.BitSet b,
                Node n)

getNodeBit

boolean getNodeBit(java.util.BitSet b,
                   Node n)

nodeSet

java.util.BitSet nodeSet(Node n)

main

public static void main(java.lang.String[] args)

Test on graph from dragon book, page 603 and 671.