choco.cp.solver.constraints.global.tree.filtering.structuralFiltering.tree
Class SearchInfeasible
java.lang.Object
choco.cp.solver.constraints.global.tree.filtering.structuralFiltering.tree.SearchInfeasible
public class SearchInfeasible
- extends Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
dom
protected int dom
revGraph
protected IStateBitSet[] revGraph
reached
protected BitSet reached
SearchInfeasible
public SearchInfeasible(int dom,
IStateBitSet[] revGraph)
getReached
public BitSet getReached()
dfsVisit
public void dfsVisit(int u)
Copyright © 2012. All Rights Reserved.