choco.cp.solver.constraints.strong.maxrpcrm
Class MaxRPCrm
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.strong.AbstractStrongConsistency<MaxRPCVariable>
choco.cp.solver.constraints.strong.maxrpcrm.MaxRPCrm
- All Implemented Interfaces:
- IExtensionnable, IPretty, SConstraint<IntDomainVar>, IntPropagator, Cloneable, EventListener
public class MaxRPCrm
- extends AbstractStrongConsistency<MaxRPCVariable>
Method Summary |
void |
awake()
Propagation:
Propagating the constraint for the very first time until local
consistency is reached. |
void |
awakeOnBounds(int idx)
|
void |
awakeOnInf(int idx)
Default propagation on improved lower bound: propagation on domain revision. |
void |
awakeOnInst(int idx)
Default propagation on instantiation: full constraint re-propagation. |
void |
awakeOnRem(int idx,
int x)
Default propagation on one value removal: propagation on domain revision. |
void |
awakeOnRemovals(int idx,
DisposableIntIterator deltaDomain)
The default implementation of propagation when a variable has been modified
consists in iterating all values that have been removed (the delta domain)
and propagate them one after another, incrementally. |
void |
awakeOnSup(int idx)
Default propagation on improved upper bound: propagation on domain revision. |
int |
getDDeg(IntDomainVar v)
|
int |
getNbCliques()
|
int |
getWDeg(IntDomainVar v)
|
void |
propagate()
Effectue la propagation à partir de la file courante |
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, getFilteredEventMask, getPriority, isActive, setActive, setActiveSilently, setEntailed, setPassive, setPropagationEngine |
nbPropag
public static int nbPropag
nbArcRevise
public static int nbArcRevise
nbPCRevise
public static int nbPCRevise
MaxRPCrm
public MaxRPCrm(IntDomainVar[] variables,
ISpecializedConstraint[] constraints,
Set<String> options)
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 AbstractStrongConsistency<MaxRPCVariable>
- Throws:
ContradictionException
- contradiction exception
awakeOnInst
public void awakeOnInst(int idx)
- Description copied from class:
AbstractIntSConstraint
- Default propagation on instantiation: full constraint re-propagation.
- Specified by:
awakeOnInst
in interface IntPropagator
- Overrides:
awakeOnInst
in class AbstractIntSConstraint
awakeOnRemovals
public void awakeOnRemovals(int idx,
DisposableIntIterator deltaDomain)
- Description copied from class:
AbstractIntSConstraint
- The default implementation of propagation when a variable has been modified
consists in iterating all values that have been removed (the delta domain)
and propagate them one after another, incrementally.
- Specified by:
awakeOnRemovals
in interface IntPropagator
- Overrides:
awakeOnRemovals
in class AbstractIntSConstraint
awakeOnInf
public void awakeOnInf(int idx)
- Description copied from class:
AbstractIntSConstraint
- Default propagation on improved lower bound: propagation on domain revision.
- Specified by:
awakeOnInf
in interface IntPropagator
- Overrides:
awakeOnInf
in class AbstractIntSConstraint
awakeOnSup
public void awakeOnSup(int idx)
- Description copied from class:
AbstractIntSConstraint
- Default propagation on improved upper bound: propagation on domain revision.
- Specified by:
awakeOnSup
in interface IntPropagator
- Overrides:
awakeOnSup
in class AbstractIntSConstraint
awakeOnRem
public void awakeOnRem(int idx,
int x)
- Description copied from class:
AbstractIntSConstraint
- Default propagation on one value removal: propagation on domain revision.
- Specified by:
awakeOnRem
in interface IntPropagator
- Overrides:
awakeOnRem
in class AbstractIntSConstraint
awakeOnBounds
public void awakeOnBounds(int idx)
- Specified by:
awakeOnBounds
in interface IntPropagator
- Overrides:
awakeOnBounds
in class AbstractIntSConstraint
propagate
public void propagate()
throws ContradictionException
- Effectue la propagation à partir de la file courante
- Specified by:
propagate
in class Propagator
- Throws:
ContradictionException
getWDeg
public int getWDeg(IntDomainVar v)
getDDeg
public int getDDeg(IntDomainVar v)
getNbCliques
public int getNbCliques()
Copyright © 2012. All Rights Reserved.