choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.algorithms
Class Dominators

java.lang.Object
  extended by choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.algorithms.Dominators

public class Dominators
extends Object


Field Summary
protected  int[] color
           
protected  VarGraphView graph
           
protected static Logger LOGGER
           
protected  int nbVertices
           
protected  int[] postOrder
           
protected  PrecsGraphView precs
           
protected  int[] revPostOrder
           
protected  int time
           
protected  BitSet tmp
           
protected  BitSet visited
           
 
Constructor Summary
Dominators(VarGraphView graph, PrecsGraphView precs)
           
 
Method Summary
 BitSet[][] computeDominators()
           
 void computePostOrder(int u)
           
 void getPostOrder(int u)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

LOGGER

protected static final Logger LOGGER

nbVertices

protected int nbVertices

graph

protected VarGraphView graph

precs

protected PrecsGraphView precs

color

protected int[] color

postOrder

protected int[] postOrder

revPostOrder

protected int[] revPostOrder

visited

protected BitSet visited

time

protected int time

tmp

protected BitSet tmp
Constructor Detail

Dominators

public Dominators(VarGraphView graph,
                  PrecsGraphView precs)
Method Detail

computeDominators

public BitSet[][] computeDominators()

computePostOrder

public void computePostOrder(int u)

getPostOrder

public void getPostOrder(int u)


Copyright © 2012. All Rights Reserved.