|
||||||||||
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.structuralFiltering.timeWindows.DirectedPropag
public class DirectedPropag
Field Summary | |
---|---|
protected boolean |
debugRem
boolean that allow to display debug mode for this propagator |
protected static Logger |
LOGGER
|
protected IStateBitSet[] |
maybe
graph of the potential arcs |
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 RemovalsAdvisor |
propagateStruct
record the infeasible values in the different domains of the variables involved in the constraint |
protected IStateBitSet[] |
revMaybe
reverse graph of the potential arcs |
protected IStateBitSet[] |
revSure
reverse graph of the required arcs |
protected IStateBitSet |
sink
the set of sink nodes in the graph |
protected IStateBitSet |
src
the set of source nodes in the graph |
protected IStateBitSet[] |
sure
graph of the required arcs |
Constructor Summary | |
---|---|
DirectedPropag(IStateInt[][] travelTime,
VarGraphView graph,
Node[] nodes,
RemovalsAdvisor propagateStruct)
Constructor: build a propagator for the time windows constraints according to the graph |
Method Summary | |
---|---|
void |
applyGraphFiltering()
filtering method that removes the arcs which become infeasible because of the time windows constraints |
void |
applyTWfiltering()
filtering methods that update the time windows of each node according to the travel time matrix and the graph * @throws ContradictionException |
void |
updateByPotentialPred()
|
void |
updateByPotentialSucc()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected static final Logger LOGGER
protected boolean debugRem
protected int nbNodes
protected Node[] nodes
protected IStateBitSet[] sure
protected IStateBitSet[] revSure
protected IStateBitSet src
protected IStateBitSet sink
protected IStateBitSet[] maybe
protected IStateBitSet[] revMaybe
protected RemovalsAdvisor propagateStruct
Constructor Detail |
---|
public DirectedPropag(IStateInt[][] travelTime, VarGraphView graph, Node[] nodes, RemovalsAdvisor propagateStruct)
travelTime
- travel time matrixgraph
- view of the graph to partitionnodes
- table of nodes involved in the graphpropagateStruct
- data structure managing the removalsMethod Detail |
---|
public void applyTWfiltering() throws ContradictionException
ContradictionException
public void applyGraphFiltering() throws ContradictionException
ContradictionException
public void updateByPotentialSucc() throws ContradictionException
ContradictionException
public void updateByPotentialPred() throws ContradictionException
ContradictionException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |