choco.cp.solver.constraints.global.tree.deduction
Class AbstractDeduction
java.lang.Object
choco.cp.solver.constraints.global.tree.deduction.AbstractDeduction
- Direct Known Subclasses:
- IncompGraphDeduction, OrderedGraphDeduction
public abstract class AbstractDeduction
- 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
affiche
protected boolean affiche
nbVertices
protected int nbVertices
solver
protected Solver solver
tree
protected TreeParameters tree
struct
protected StructuresAdvisor struct
update
protected boolean update
compatible
protected boolean compatible
nodes
protected Node[] nodes
inputGraph
protected VarGraphView inputGraph
precs
protected PrecsGraphView precs
doms
protected DominatorView doms
incomp
protected StoredBitSetGraph incomp
condPrecs
protected StoredBitSetGraph condPrecs
AbstractDeduction
protected AbstractDeduction(Object[] params)
- Parameters:
params
- a set of parameters describing each part of the global tree constraint
isCompatible
public boolean isCompatible()
isUpdate
public boolean isUpdate()
Copyright © 2012. All Rights Reserved.