choco.cp.solver.constraints.global.tree.deduction
Class DeductionsAdvisor

java.lang.Object
  extended by choco.cp.solver.constraints.global.tree.deduction.DeductionsAdvisor

public class DeductionsAdvisor
extends Object


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

affiche

protected boolean affiche
boolean for debug and show a trace of the execution


update

protected boolean update
check the potential update of the internal structures related to the precedences and the incomparabilities


compatible

protected boolean compatible
check the compatibility of the udpate according to the constraint itself


solver

protected Solver solver
Choco solver embedding the tree constraint


tree

protected TreeParameters tree
attributes


struct

protected StructuresAdvisor struct
structure advisor


precs

protected OrderedGraphDeduction precs
structure that compute new precedence constraints from the other structures


incomp

protected IncompGraphDeduction incomp
structure that compute new incomparability constraints from the other structures

Constructor Detail

DeductionsAdvisor

public DeductionsAdvisor(Solver solver,
                         TreeParameters tree,
                         StructuresAdvisor struct,
                         boolean affiche)
constructor: allocates the data util for the deduction manager

Parameters:
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 structures
affiche - a boolean that allow to display the main actions done by the filtering manager
Method Detail

applyDeduction

public boolean applyDeduction()
the main method of the deduction advisor that updates each part of the tree constraint according to the other.

Returns:
true iff a deduction modified the structures (precedences, incomparabilites or dominators)

isCompatible

public boolean isCompatible()


Copyright © 2012. All Rights Reserved.