choco.cp.solver.constraints.global.tree.filtering.costFiltering
Class Cost

java.lang.Object
  extended by choco.cp.solver.constraints.global.tree.filtering.AbstractPropagator
      extended by 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
 
Constructor Summary
Cost(Object[] params)
           
 
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 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

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

Constructor Detail

Cost

public Cost(Object[] params)
Method Detail

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.