choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.algorithms
Class Dominators
java.lang.Object
choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.algorithms.Dominators
public class Dominators
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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
Dominators
public Dominators(VarGraphView graph,
PrecsGraphView precs)
computeDominators
public BitSet[][] computeDominators()
computePostOrder
public void computePostOrder(int u)
getPostOrder
public void getPostOrder(int u)
Copyright © 2012. All Rights Reserved.