choco.kernel.solver.constraints.integer.extension
Class CspBinSConstraint
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.AbstractBinIntSConstraint
choco.kernel.solver.constraints.integer.extension.CspBinSConstraint
- All Implemented Interfaces:
- IExtensionnable, IPretty, SConstraint<IntDomainVar>, IntPropagator, Cloneable, EventListener
- Direct Known Subclasses:
- AC2001BinSConstraint, AC3BinSConstraint, AC3rmBinSConstraint, AC3rmBitBinSConstraint, FCBinSConstraint
public abstract class CspBinSConstraint
- extends AbstractBinIntSConstraint
Methods inherited from class choco.kernel.solver.constraints.AbstractSConstraint |
addExtension, addListener, clone, getAbstractSConstraintExtensionNumber, getConstraintIdx, getExtension, getFineDegree, getNbVarNotInst, getNbVars, getVar, getVarQuick, isCompletelyInstantiated, opposite, pretty, setConstraintIndex, setExtension, setVar, toString |
Methods inherited from class choco.kernel.solver.propagation.Propagator |
activate, awake, constAwake, fail, getEvent, getFilteredEventMask, getPriority, isActive, propagate, setActive, setActiveSilently, setEntailed, setPassive, setPropagationEngine |
relation
protected BinRelation relation
CspBinSConstraint
protected CspBinSConstraint(IntDomainVar x,
IntDomainVar y,
BinRelation relation)
isSatisfied
public boolean isSatisfied(int[] tuple)
- Checks if the constraint is satisfied when the variables are instantiated.
- Specified by:
isSatisfied
in interface IntPropagator
- Overrides:
isSatisfied
in class AbstractIntSConstraint
- Returns:
- true if the constraint is satisfied
getRelation
public BinRelation getRelation()
isEntailed
public Boolean isEntailed()
- Description copied from class:
AbstractSConstraint
- Indicates if the constraint is entailed, from now on will be always satisfied
- Overrides:
isEntailed
in class AbstractSConstraint<IntDomainVar>
- Returns:
- wether the constraint is entailed
Copyright © 2012. All Rights Reserved.