choco.cp.solver.constraints.global.tree.filtering.structuralFiltering.tree
Class SearchInfeasible

java.lang.Object
  extended by choco.cp.solver.constraints.global.tree.filtering.structuralFiltering.tree.SearchInfeasible

public class SearchInfeasible
extends Object


Field Summary
protected  int dom
           
protected  BitSet reached
           
protected  IStateBitSet[] revGraph
           
 
Constructor Summary
SearchInfeasible(int dom, IStateBitSet[] revGraph)
           
 
Method Summary
 void dfsVisit(int u)
           
 BitSet getReached()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

dom

protected int dom

revGraph

protected IStateBitSet[] revGraph

reached

protected BitSet reached
Constructor Detail

SearchInfeasible

public SearchInfeasible(int dom,
                        IStateBitSet[] revGraph)
Method Detail

getReached

public BitSet getReached()

dfsVisit

public void dfsVisit(int u)


Copyright © 2012. All Rights Reserved.