|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.cp.solver.constraints.global.tree.deduction.DeductionsAdvisor
public class DeductionsAdvisor
Field Summary | |
---|---|
protected boolean |
affiche
boolean for debug and show a trace of the execution |
protected boolean |
compatible
check the compatibility of the udpate according to the constraint itself |
protected IncompGraphDeduction |
incomp
structure that compute new incomparability constraints from the other structures |
protected OrderedGraphDeduction |
precs
structure that compute new precedence constraints from the other structures |
protected Solver |
solver
Choco solver embedding the tree constraint |
protected StructuresAdvisor |
struct
structure advisor |
protected TreeParameters |
tree
attributes |
protected boolean |
update
check the potential update of the internal structures related to the precedences and the incomparabilities |
Constructor Summary | |
---|---|
DeductionsAdvisor(Solver solver,
TreeParameters tree,
StructuresAdvisor struct,
boolean affiche)
constructor: allocates the data util for the deduction manager |
Method Summary | |
---|---|
boolean |
applyDeduction()
the main method of the deduction advisor that updates each part of the tree constraint according to the other. |
boolean |
isCompatible()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected boolean affiche
protected boolean update
protected boolean compatible
protected Solver solver
protected TreeParameters tree
protected StructuresAdvisor struct
protected OrderedGraphDeduction precs
protected IncompGraphDeduction incomp
Constructor Detail |
---|
public DeductionsAdvisor(Solver solver, TreeParameters tree, StructuresAdvisor struct, boolean affiche)
solver
- the Choco solver who uses the current tree constraint.tree
- the input data structure available in the structure.inputStructure
package.struct
- the advisor of the internal data structuresaffiche
- a boolean that allow to display the main actions done by the filtering managerMethod Detail |
---|
public boolean applyDeduction()
true
iff a deduction modified the structures (precedences, incomparabilites or dominators)public boolean isCompatible()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |