|
||||||||||
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.FilteringAdvisor
public class FilteringAdvisor
Field Summary | |
---|---|
protected boolean |
affiche
boolean for debug and show a trace of the execution |
protected CostStructure |
costStruct
cost structure advisor |
protected static Logger |
LOGGER
|
protected Cost |
propagateCost
a propagator for the cost constraint associated with the set of arcs involved in the graph |
protected GlobalCardinalityNoLoop |
propagateGlobalCard
a propagator for the degree constraints. |
protected Incomparability |
propagateIncomp
a propagator for the incomparability constraints |
protected Nproper |
propagateNProper
a propagator for the constraint that maintain a given number (not necessarily fixed) of proper tree. |
protected Precedences |
propagatePrec
a propagator for the precedence constraints |
protected RemovalsAdvisor |
propagateStruct
object that record the infeasible values in the different domains of the variables involved in the constraint |
protected Tree |
propagateTree
a propagator for the pure tree constraint |
protected TimeWindow |
propagateTW
a propagator for the time windows constraints associated with each nodes |
protected Solver |
solver
Choco solver embedding the tree constraint |
protected StructuresAdvisor |
struct
structure advisor |
protected Queue<AbstractPropagator> |
toPropagate
a propagation queue that initialy contains all the propagators composing the tree constraint |
protected TreeParameters |
tree
attributes |
protected TreeSConstraint |
treeConst
the tree constraint object that allow to access to the Choco solver functions like fail() |
Constructor Summary | |
---|---|
FilteringAdvisor(Solver solver,
TreeSConstraint treeConst,
TreeParameters tree,
StructuresAdvisor struct,
boolean affiche)
constructor: build a filtering manager that deals with all the propagators involved in the tree constraint |
Method Summary | |
---|---|
boolean |
applyFiltering()
the main method that allows to apply all the filtering rules of each propagator |
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 boolean affiche
protected Solver solver
protected TreeSConstraint treeConst
fail()
protected TreeParameters tree
protected StructuresAdvisor struct
protected CostStructure costStruct
protected RemovalsAdvisor propagateStruct
protected Queue<AbstractPropagator> toPropagate
protected Tree propagateTree
protected GlobalCardinalityNoLoop propagateGlobalCard
Global Cardinality Constraint
protected Nproper propagateNProper
protected Precedences propagatePrec
protected Incomparability propagateIncomp
protected TimeWindow propagateTW
protected Cost propagateCost
Constructor Detail |
---|
public FilteringAdvisor(Solver solver, TreeSConstraint treeConst, TreeParameters tree, StructuresAdvisor struct, boolean affiche)
solver
- the Choco solver who uses the current tree constraint.treeConst
- the current Choco constraint (because we have to access to constraints primitives)tree
- the input data structure available in the structure.inputStructure
package.struct
- the advisor of the internal data structuresaffiche
- a boolean that allows to display the main actions done by the filtering managerMethod Detail |
---|
public boolean applyFiltering() throws ContradictionException
true
iff there is at least one value removed in the domain of a variable
ContradictionException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |