choco.cp.solver.constraints.global.automata.fast_costregular
Class CostKnapSack
java.lang.Object
choco.kernel.solver.propagation.Propagator
choco.kernel.solver.constraints.AbstractSConstraint<IntDomainVar>
choco.kernel.solver.constraints.integer.AbstractIntSConstraint
choco.kernel.solver.constraints.integer.AbstractLargeIntSConstraint
choco.cp.solver.constraints.global.automata.fast_costregular.CostRegular
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
Fields inherited from class choco.cp.solver.constraints.global.automata.fast_costregular.CostRegular |
environment |
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.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 |
CostKnapSack
public CostKnapSack(IntDomainVar[] vars,
IntDomainVar bVar,
IntDomainVar cVar,
int[] cost,
int[] gain,
Solver solver)
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.