choco.cp.solver.constraints.global.tree.filtering.structuralFiltering.timeWindows
Class OrderedGraphPropag

java.lang.Object
  extended by choco.cp.solver.constraints.global.tree.filtering.structuralFiltering.timeWindows.OrderedGraphPropag

public class OrderedGraphPropag
extends Object


Field Summary
protected  boolean debugRem
          boolean that allow to display debug mode for this propagator
protected static Logger LOGGER
           
protected  IStateInt[][] minTravelTime
          minimum travel time matrix (computed from travelTime)
protected  int nbNodes
          total number of nodes involved in the tree constraint
protected  Node[] nodes
          table of the nodes involved in the tree constraint
protected  PrecsGraphView precs
          graph of the precedence constraints
protected  RemovalsAdvisor propagateStruct
          record the infeasible values in the different domains of the variables involved in the constraint
protected  IStateBitSet sink
          the set of sink nodes in the precedence graph
protected  IStateBitSet src
          the set of source nodes in the precedence graph
protected  IStateInt[][] travelTime
          travel time matrix
 
Constructor Summary
OrderedGraphPropag(IStateInt[][] travelTime, IStateInt[][] minTravelTime, PrecsGraphView precs, Node[] nodes, RemovalsAdvisor propagateStruct)
          Constructor: build a propagator for the time windows constraints according to the precedence constraints
 
Method Summary
 void afficheMinTravelTime()
           
 void applyTWfiltering()
          filtering methods that update the time windows of each node according to the precedence constraints and the minimum travel time matrix
 
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

debugRem

protected boolean debugRem
boolean that allow to display debug mode for this propagator


nbNodes

protected int nbNodes
total number of nodes involved in the tree constraint


nodes

protected Node[] nodes
table of the nodes involved in the tree constraint


precs

protected PrecsGraphView precs
graph of the precedence constraints


src

protected IStateBitSet src
the set of source nodes in the precedence graph


sink

protected IStateBitSet sink
the set of sink nodes in the precedence graph


travelTime

protected IStateInt[][] travelTime
travel time matrix


minTravelTime

protected IStateInt[][] minTravelTime
minimum travel time matrix (computed from travelTime)


propagateStruct

protected RemovalsAdvisor propagateStruct
record the infeasible values in the different domains of the variables involved in the constraint

Constructor Detail

OrderedGraphPropag

public OrderedGraphPropag(IStateInt[][] travelTime,
                          IStateInt[][] minTravelTime,
                          PrecsGraphView precs,
                          Node[] nodes,
                          RemovalsAdvisor propagateStruct)
Constructor: build a propagator for the time windows constraints according to the precedence constraints

Parameters:
travelTime - travel time matrix
minTravelTime - minimum travel time matrix
precs - graph of the precedence constraints
nodes - table of nodes involved in the tree constraints
propagateStruct - data structure managing the removals
Method Detail

applyTWfiltering

public void applyTWfiltering()
                      throws ContradictionException
filtering methods that update the time windows of each node according to the precedence constraints and the minimum travel time matrix

Throws:
ContradictionException

afficheMinTravelTime

public void afficheMinTravelTime()


Copyright © 2012. All Rights Reserved.