choco.cp.solver.constraints.global.tree.filtering
Class AbstractPropagator

java.lang.Object
  extended by choco.cp.solver.constraints.global.tree.filtering.AbstractPropagator
Direct Known Subclasses:
Cost, Incomparability, Nproper, Precedences, TimeWindow, Tree

public abstract class AbstractPropagator
extends Object


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

LOGGER

protected static final Logger LOGGER

solver

protected Solver solver
Choco solver embedding the tree constraint


tree

protected TreeParameters tree
attributes


nodes

protected Node[] nodes

indices

protected int[] indices
a table that manage the indices of the variables involved in the tree constraint


struct

protected StructuresAdvisor struct
structure advisor


costStruct

protected CostStructure costStruct
cost structure advisor


propagateStruct

protected RemovalsAdvisor propagateStruct
structure that manage removals


affiche

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


nbVertices

protected int nbVertices
total number of nodes involved in the graph


inputGraph

protected VarGraphView inputGraph
data structure related to the graph representation of the input graph


precs

protected PrecsGraphView precs
data structure related to the graph representation of the partial order


doms

protected DominatorView doms
data structure related to the graph representation of the dominator nodes of this graph


incomp

protected StoredBitSetGraph incomp
data structure related to the graph representation of the incomparability constraint


condPrecs

protected StoredBitSetGraph condPrecs
data structure related to the graph representation of the conditional partial order

Constructor Detail

AbstractPropagator

protected AbstractPropagator(Object[] params)
Constructor: abstract propagator structure

Parameters:
params - a set of parameters describing each part of the global tree constraint
Method Detail

getTypePropag

public abstract String getTypePropag()

applyConstraint

public boolean applyConstraint()
                        throws ContradictionException,
                               IOException
a generic method that manage the filtering methods

Returns:
false iff an inconsistency is detected
Throws:
ContradictionException
IOException

feasibility

public abstract boolean feasibility()
                             throws ContradictionException
check the consistency of the filtering rules of a given propagator

Returns:
false iff the propagator detect an inconsistency
Throws:
ContradictionException

filter

public abstract void filter()
                     throws ContradictionException
record the inconsistant values with the variables of a given propagator

Throws:
ContradictionException


Copyright © 2012. All Rights Reserved.