choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.dominatorTrees
Class DominatorView

java.lang.Object
  extended by choco.cp.solver.constraints.global.tree.structure.internalStructure.graphStructures.dominatorTrees.DominatorView

public class DominatorView
extends Object


Field Summary
protected  Dominators dom
           
protected  BitSet[][] dominators
           
protected  VarGraphView graph
           
protected static Logger LOGGER
           
protected  int nbNodes
           
protected  PrecsGraphView precs
           
protected  Solver solver
           
protected  boolean update
           
 
Constructor Summary
DominatorView(Solver solver, VarGraphView graph, PrecsGraphView precs)
           
 
Method Summary
 BitSet[][] getDominators()
           
 boolean isUpdate()
           
 void showDoms(int i)
           
 void showDoms(int i, int j)
           
 void updateDominators()
           
 
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

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
Constructor Detail

DominatorView

public DominatorView(Solver solver,
                     VarGraphView graph,
                     PrecsGraphView precs)
Method Detail

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.