choco.cp.solver.constraints.global.automata.fast_costregular
Class CostKnapSack

java.lang.Object
  extended by choco.kernel.solver.propagation.Propagator
      extended by choco.kernel.solver.constraints.AbstractSConstraint<IntDomainVar>
          extended by choco.kernel.solver.constraints.integer.AbstractIntSConstraint
              extended by choco.kernel.solver.constraints.integer.AbstractLargeIntSConstraint
                  extended by choco.cp.solver.constraints.global.automata.fast_costregular.CostRegular
                      extended by choco.cp.solver.constraints.global.automata.fast_costregular.CostKnapSack
All Implemented Interfaces:
IExtensionnable, IPretty, SConstraint<IntDomainVar>, IntPropagator, Cloneable, EventListener

public final class CostKnapSack
extends CostRegular

Created by IntelliJ IDEA. User: julien Date: Feb 8, 2010 Time: 6:55:03 PM


Field Summary
 
Fields inherited from class choco.cp.solver.constraints.global.automata.fast_costregular.CostRegular
environment
 
Fields inherited from class choco.kernel.solver.constraints.AbstractSConstraint
cIndices, constraintType, extensions, vars
 
Fields inherited from class choco.kernel.solver.propagation.Propagator
active, constAwakeEvent, priority, propagationEngine
 
Fields inherited from interface choco.kernel.solver.constraints.SConstraint
LOGGER
 
Constructor Summary
CostKnapSack(IntDomainVar[] vars, IntDomainVar bVar, IntDomainVar cVar, int[] cost, int[] gain, Solver solver)
           
 
Method Summary
 void awake()
          Propagation: Propagating the constraint for the very first time until local consistency is reached.
protected  int delta(int i, int j, int k)
           
protected  int getCost(int i, int j)
           
 void initGraph()
           
protected  boolean isAccepting(int idx)
           
 
Methods inherited from class choco.cp.solver.constraints.global.automata.fast_costregular.CostRegular
awakeOnBounds, awakeOnInf, awakeOnInst, awakeOnRem, awakeOnRemovals, awakeOnSup, checkWorld, getFilteredEventMask, initGraph, initGraph, isSatisfied, prefilter, propagate
 
Methods inherited from class choco.kernel.solver.constraints.integer.AbstractIntSConstraint
getConstraintType, isConsistent, isSatisfied
 
Methods inherited from class choco.kernel.solver.constraints.AbstractSConstraint
addExtension, addListener, clone, getAbstractSConstraintExtensionNumber, getConstraintIdx, getExtension, getFineDegree, getNbVarNotInst, getNbVars, getVar, getVarQuick, isCompletelyInstantiated, isEntailed, opposite, pretty, setConstraintIndex, setExtension, setVar, toString
 
Methods inherited from class choco.kernel.solver.propagation.Propagator
activate, constAwake, fail, getEvent, getPriority, isActive, setActive, setActiveSilently, setEntailed, setPassive, setPropagationEngine
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

CostKnapSack

public CostKnapSack(IntDomainVar[] vars,
                    IntDomainVar bVar,
                    IntDomainVar cVar,
                    int[] cost,
                    int[] gain,
                    Solver solver)
Method Detail

awake

public void awake()
           throws ContradictionException
Description copied from class: Propagator
Propagation: Propagating the constraint for the very first time until local consistency is reached.

Overrides:
awake in class CostRegular
Throws:
ContradictionException - contradiction exception

initGraph

public void initGraph()
               throws ContradictionException
Throws:
ContradictionException

delta

protected int delta(int i,
                    int j,
                    int k)

getCost

protected int getCost(int i,
                      int j)

isAccepting

protected final boolean isAccepting(int idx)


Copyright © 2012. All Rights Reserved.