choco.cp.solver.constraints.integer.extension
Class FCBinSConstraint
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
choco.cp.solver.constraints.integer.extension.FCBinSConstraint
- All Implemented Interfaces:
- IExtensionnable, IPretty, SConstraint<IntDomainVar>, IntPropagator, Cloneable, EventListener
public final class FCBinSConstraint
- extends CspBinSConstraint
A binary constraint for simple forward checking
Methods inherited from class choco.kernel.solver.constraints.AbstractSConstraint |
addExtension, addListener, getAbstractSConstraintExtensionNumber, getConstraintIdx, getExtension, getFineDegree, getNbVarNotInst, getNbVars, getVar, getVarQuick, isCompletelyInstantiated, setConstraintIndex, setExtension, setVar, toString |
Methods inherited from class choco.kernel.solver.propagation.Propagator |
activate, awake, constAwake, fail, getEvent, getPriority, isActive, setActive, setActiveSilently, setEntailed, setPassive, setPropagationEngine |
FCBinSConstraint
public FCBinSConstraint(IntDomainVar x0,
IntDomainVar x1,
BinRelation rela)
getFilteredEventMask
public int getFilteredEventMask(int idx)
- Overrides:
getFilteredEventMask
in class Propagator
clone
public Object clone()
- Description copied from class:
AbstractSConstraint
- Clone the constraint
- Overrides:
clone
in class AbstractSConstraint<IntDomainVar>
- Returns:
- the clone of the constraint
propagate
public void propagate()
throws ContradictionException
- Description copied from class:
Propagator
- Propagation:
Propagating the constraint until local consistency is reached.
- Specified by:
propagate
in class Propagator
- Throws:
ContradictionException
- contradiction exception
awakeOnInst
public void awakeOnInst(int idx)
throws ContradictionException
- Description copied from class:
AbstractIntSConstraint
- Default propagation on instantiation: full constraint re-propagation.
- Specified by:
awakeOnInst
in interface IntPropagator
- Overrides:
awakeOnInst
in class AbstractIntSConstraint
- Throws:
ContradictionException
opposite
public AbstractSConstraint<IntDomainVar> opposite(Solver solver)
- Description copied from class:
AbstractSConstraint
- Get the opposite constraint
- Specified by:
opposite
in interface SConstraint<IntDomainVar>
- Overrides:
opposite
in class AbstractSConstraint<IntDomainVar>
- Parameters:
solver
- the current solver
- Returns:
- the opposite constraint @param solver
pretty
public String pretty()
- Description copied from interface:
IPretty
- pretty printing of the object. This String is not constant and may depend on the context.
- Specified by:
pretty
in interface IPretty
- Overrides:
pretty
in class AbstractSConstraint<IntDomainVar>
- Returns:
- a readable string representation of the object
Copyright © 2012. All Rights Reserved.