choco.cp.solver.constraints.global.tree.filtering.costFiltering
Class Cost
java.lang.Object
choco.cp.solver.constraints.global.tree.filtering.AbstractPropagator
choco.cp.solver.constraints.global.tree.filtering.costFiltering.Cost
public class Cost
- extends AbstractPropagator
Field Summary |
protected IStateInt[][] |
cost
current cost matrix associated with the graph to partition |
protected IStateInt |
forestCost
current cost of a forest covering the graph |
protected IStateInt[][] |
minCost
current cost of the shortest path 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 |
Method Summary |
boolean |
allInstantiated()
|
boolean |
feasibility()
check the consistency of the filtering rules of a given propagator |
void |
filter()
remove each arc (i,j) of the graph such that the total cost a forest containing this arc exceed the objective
variable |
String |
getTypePropag()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
cost
protected IStateInt[][] cost
- current cost matrix associated with the graph to partition
minCost
protected IStateInt[][] minCost
- current cost of the shortest path matrix associated with the graph to partition
forestCost
protected IStateInt forestCost
- current cost of a forest covering the graph
Cost
public Cost(Object[] params)
getTypePropag
public String getTypePropag()
- Specified by:
getTypePropag
in class AbstractPropagator
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
- remove each arc (i,j) of the graph such that the total cost a forest containing this arc exceed the objective
variable
- Specified by:
filter
in class AbstractPropagator
- Throws:
ContradictionException
allInstantiated
public boolean allInstantiated()
Copyright © 2012. All Rights Reserved.