|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.cp.solver.constraints.global.tree.filtering.AbstractPropagator
choco.cp.solver.constraints.global.tree.filtering.structuralFiltering.timeWindows.TimeWindow
public class TimeWindow
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 |
---|
protected IStateInt[][] travelTime
protected IStateInt[][] minTravelTime
protected DirectedPropag propagatePossGraph
protected OrderedGraphPropag propagateOrderedGraph
Constructor Detail |
---|
public TimeWindow(Object[] params)
params
- a set of parameters describing each part of the global tree constraintMethod Detail |
---|
public boolean feasibility() throws ContradictionException
AbstractPropagator
feasibility
in class AbstractPropagator
false
iff the propagator detect an inconsistency
ContradictionException
public void filter() throws ContradictionException
AbstractPropagator
filter
in class AbstractPropagator
ContradictionException
public String getTypePropag()
getTypePropag
in class AbstractPropagator
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |