choco.cp.solver.constraints.strong
Interface ISpecializedConstraint

All Superinterfaces:
Cloneable, IExtensionnable, IntPropagator, IPretty, SConstraint<IntDomainVar>
All Known Implementing Classes:
Adapter, SimpleDTConstraint

public interface ISpecializedConstraint
extends IntPropagator, SConstraint<IntDomainVar>


Field Summary
 
Fields inherited from interface choco.kernel.solver.constraints.SConstraint
LOGGER
 
Method Summary
 boolean check(int[] tuple)
           
 int firstSupport(int position, int value)
           
 int nextSupport(int position, int value, int lastSupport)
           
 
Methods inherited from interface choco.kernel.solver.propagation.listener.IntPropagator
awakeOnBounds, awakeOnInf, awakeOnInst, awakeOnRem, awakeOnRemovals, awakeOnSup, isSatisfied
 
Methods inherited from interface choco.kernel.solver.constraints.SConstraint
getConstraintIdx, getConstraintType, getFineDegree, getNbVars, getVar, getVarQuick, isSatisfied, opposite, setConstraintIndex, setVar
 
Methods inherited from interface choco.IPretty
pretty
 
Methods inherited from interface choco.IExtensionnable
addExtension, getExtension
 

Method Detail

firstSupport

int firstSupport(int position,
                 int value)

nextSupport

int nextSupport(int position,
                int value,
                int lastSupport)

check

boolean check(int[] tuple)


Copyright © 2012. All Rights Reserved.