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

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

public class TimeWindow
extends AbstractPropagator


Field Summary
protected  IStateInt[][] minTravelTime
          current cost of the minimum travel time matrix associated with the graph to partition
protected  OrderedGraphPropag propagateOrderedGraph
          propagator that contains the filtering rules derived from the interaction with the precedence constraints
protected  DirectedPropag propagatePossGraph
          propagator that contains the filetring rules directly derived from the graph to partition
protected  IStateInt[][] travelTime
          current traveltime matrix associated with the graph to partition
 
Fields inherited from class choco.cp.solver.constraints.global.tree.filtering.AbstractPropagator
affiche, condPrecs, costStruct, doms, incomp, indices, inputGraph, LOGGER, nbVertices, nodes, precs, propagateStruct, solver, struct, tree
 
Constructor Summary
TimeWindow(Object[] params)
          Constructor: build a framework to propagate filtering rules related to the time windows constraints.
 
Method Summary
 boolean feasibility()
          check the consistency of the filtering rules of a given propagator
 void filter()
          record the inconsistant values with the variables of a given propagator
 String getTypePropag()
           
 
Methods inherited from class choco.cp.solver.constraints.global.tree.filtering.AbstractPropagator
applyConstraint
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

travelTime

protected IStateInt[][] travelTime
current traveltime matrix associated with the graph to partition


minTravelTime

protected IStateInt[][] minTravelTime
current cost of the minimum travel time matrix associated with the graph to partition


propagatePossGraph

protected DirectedPropag propagatePossGraph
propagator that contains the filetring rules directly derived from the graph to partition


propagateOrderedGraph

protected OrderedGraphPropag propagateOrderedGraph
propagator that contains the filtering rules derived from the interaction with the precedence constraints

Constructor Detail

TimeWindow

public TimeWindow(Object[] params)
Constructor: build a framework to propagate filtering rules related to the time windows constraints.

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

feasibility

public boolean feasibility()
                    throws ContradictionException
Description copied from class: AbstractPropagator
check the consistency of the filtering rules of a given propagator

Specified by:
feasibility in class AbstractPropagator
Returns:
false iff the propagator detect an inconsistency
Throws:
ContradictionException

filter

public void filter()
            throws ContradictionException
Description copied from class: AbstractPropagator
record the inconsistant values with the variables of a given propagator

Specified by:
filter in class AbstractPropagator
Throws:
ContradictionException

getTypePropag

public String getTypePropag()
Specified by:
getTypePropag in class AbstractPropagator


Copyright © 2012. All Rights Reserved.