|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.cp.solver.constraints.global.tree.filtering.AbstractPropagator
public abstract class AbstractPropagator
Field Summary | |
---|---|
protected boolean |
affiche
boolean for debug and show a trace of the execution |
protected StoredBitSetGraph |
condPrecs
data structure related to the graph representation of the conditional partial order |
protected CostStructure |
costStruct
cost structure advisor |
protected DominatorView |
doms
data structure related to the graph representation of the dominator nodes of this graph |
protected StoredBitSetGraph |
incomp
data structure related to the graph representation of the incomparability constraint |
protected int[] |
indices
a table that manage the indices of the variables involved in the tree constraint |
protected VarGraphView |
inputGraph
data structure related to the graph representation of the input graph |
protected static Logger |
LOGGER
|
protected int |
nbVertices
total number of nodes involved in the graph |
protected Node[] |
nodes
|
protected PrecsGraphView |
precs
data structure related to the graph representation of the partial order |
protected RemovalsAdvisor |
propagateStruct
structure that manage removals |
protected Solver |
solver
Choco solver embedding the tree constraint |
protected StructuresAdvisor |
struct
structure advisor |
protected TreeParameters |
tree
attributes |
Constructor Summary | |
---|---|
protected |
AbstractPropagator(Object[] params)
Constructor: abstract propagator structure |
Method Summary | |
---|---|
boolean |
applyConstraint()
a generic method that manage the filtering methods |
abstract boolean |
feasibility()
check the consistency of the filtering rules of a given propagator |
abstract void |
filter()
record the inconsistant values with the variables of a given propagator |
abstract String |
getTypePropag()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected static final Logger LOGGER
protected Solver solver
protected TreeParameters tree
protected Node[] nodes
protected int[] indices
protected StructuresAdvisor struct
protected CostStructure costStruct
protected RemovalsAdvisor propagateStruct
protected boolean affiche
protected int nbVertices
protected VarGraphView inputGraph
protected PrecsGraphView precs
protected DominatorView doms
protected StoredBitSetGraph incomp
protected StoredBitSetGraph condPrecs
Constructor Detail |
---|
protected AbstractPropagator(Object[] params)
params
- a set of parameters describing each part of the global tree constraintMethod Detail |
---|
public abstract String getTypePropag()
public boolean applyConstraint() throws ContradictionException, IOException
false
iff an inconsistency is detected
ContradictionException
IOException
public abstract boolean feasibility() throws ContradictionException
false
iff the propagator detect an inconsistency
ContradictionException
public abstract void filter() throws ContradictionException
ContradictionException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |