choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.dominatorTrees
Class DominatorView
java.lang.Object
choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.dominatorTrees.DominatorView
public class DominatorView
- 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
solver
protected Solver solver
nbNodes
protected int nbNodes
graph
protected VarGraphView graph
precs
protected PrecsGraphView precs
dom
protected Dominators dom
dominators
protected BitSet[][] dominators
update
protected boolean update
DominatorView
public DominatorView(Solver solver,
VarGraphView graph,
PrecsGraphView precs)
updateDominators
public void updateDominators()
getDominators
public BitSet[][] getDominators()
isUpdate
public boolean isUpdate()
showDoms
public void showDoms(int i)
showDoms
public void showDoms(int i,
int j)
Copyright © 2012. All Rights Reserved.