choco.kernel.solver.propagation.listener
Interface IntPropagator

All Known Subinterfaces:
ISpecializedConstraint
All Known Implementing Classes:
Absolute, AbstractBinIntSConstraint, AbstractBinRealIntSConstraint, AbstractBinSetIntSConstraint, AbstractBipartiteFlow, AbstractBipartiteGraph, AbstractBipartiteMatching, AbstractBoolSum, AbstractBoundOfASet, AbstractCumulativeSConstraint, AbstractIntSConstraint, AbstractLargeIntSConstraint, AbstractLargeSetIntSConstraint, AbstractMixedSetIntSConstraint, AbstractMixedSRealIntSConstraint, AbstractPrecedenceSConstraint, AbstractResourceSConstraint, AbstractSoftCumulative, AbstractStrongConsistency, AbstractTaskSConstraint, AbstractTernIntSConstraint, AbstractUnIntSConstraint, AbstractUseResourcesSConstraint, AC2001BinSConstraint, AC3BinSConstraint, AC3rmBinSConstraint, AC3rmBitBinSConstraint, Adapter, AllDifferent, AltCumulative, AltDisjunctive, AmongGAC, AmongSet, AtMostNValue, BinAnd, BinNand, BinNor, BinOr, BinXnor, BinXor, BooleanChanneling, BoolIntLinComb, BoolTimesXYZ, BoundAllDiff, BoundGcc, BoundGccVar, ClauseStore, ConstantSConstraint, CostKnapSack, CostRegular, CspBinSConstraint, CspLargeSConstraint, Cumulative, Disjunctive, DistanceXYC, DistanceXYZ, DomainChanneling, Element, Element2D, ElementG, ElementV, ElementVG, EqBoolSum, EqualXC, EqualXY_C, EqualXYC, EuclideanDivisionXYZ, Exactly, FastRegular, FCBinSConstraint, ForbiddenIntervals, GAC2001LargeSConstraint, GAC2001PositiveLargeConstraint, GAC3rmLargeConstraint, GAC3rmPositiveLargeConstraint, GACstrPositiveLargeSConstraint, Geost_Constraint, GeqBoolSum, GlobalCardinality, GlobalCardinalityVar, GreaterOrEqualXC, GreaterOrEqualXY_C, GreaterOrEqualXYC, Identity, IfThenElse, IncreasingNValue, IncreasingSum, IntLinComb, InverseChanneling, InverseChannelingWithinRange, InverseSetInt, LargeAnd, LargeNand, LargeNor, LargeOr, LargeXnor, LargeXor, LeqBoolSum, LessOrEqualXC, LessOrEqualXY_C, Lex, LexChain, LeximinSConstraint, MaxOfAList, MaxOfASet, MaxRPCrm, MaxXYZ, MemberBound, MemberEnum, MemberXiY, MemberXY, MinOfAList, MinOfASet, MinSpanningTree, MinXYZ, MixedCstElt, MixedEqXY, ModuloXYC2, MultiCostRegular, NeqBoolSum, Not, NotEqualXC, NotEqualXY_C, NotEqualXYC, NotMemberBound, NotMemberEnum, NotMemberXY, NSPStruct, Occurrence, OrderedGcc, PackSConstraint, PrecedenceDisjoint, PrecedenceImplied, PrecedenceReified, PrecedenceVDisjoint, PrecedenceVSDisjoint, Regular, ReifiedAllSConstraint, ReifiedBinImplication, ReifiedBinXnor, ReifiedBinXor, ReifiedIntSConstraint, ReifiedLargeAnd, ReifiedLargeNand, ReifiedLargeNor, ReifiedLargeOr, ScalarAtMost, SemiLeximinSConstraint, SetCard, SignOp, SimpleChannelling, SimpleDTConstraint, SoftCumulative, SoftCumulativeSum, SoftIntSConstraint, SoftMultiCostRegular, SortingSConstraint, SubSetChannelling, SubTourConstraint, TimesXYZ, TreeSConstraint, UseResourcesEq, UseResourcesGeq, VariablePrecedenceDisjoint

public interface IntPropagator

An interface for all the search variable listeners.


Method Summary
 void awakeOnBounds(int varIdx)
           
 void awakeOnInf(int varIdx)
          Default propagation on improved lower bound: propagation on domain revision.
 void awakeOnInst(int varIdx)
          Default propagation on instantiation: full constraint re-propagation.
 void awakeOnRem(int varIdx, int val)
          Default propagation on one value removal: propagation on domain revision.
 void awakeOnRemovals(int varIdx, DisposableIntIterator deltaDomain)
           
 void awakeOnSup(int varIdx)
          Default propagation on improved upper bound: propagation on domain revision.
 boolean isSatisfied(int[] tuple)
           
 

Method Detail

awakeOnInf

void awakeOnInf(int varIdx)
                throws ContradictionException
Default propagation on improved lower bound: propagation on domain revision.

Throws:
ContradictionException

awakeOnSup

void awakeOnSup(int varIdx)
                throws ContradictionException
Default propagation on improved upper bound: propagation on domain revision.

Throws:
ContradictionException

awakeOnInst

void awakeOnInst(int varIdx)
                 throws ContradictionException
Default propagation on instantiation: full constraint re-propagation.

Throws:
ContradictionException

awakeOnRem

void awakeOnRem(int varIdx,
                int val)
                throws ContradictionException
Default propagation on one value removal: propagation on domain revision.

Throws:
ContradictionException

awakeOnRemovals

void awakeOnRemovals(int varIdx,
                     DisposableIntIterator deltaDomain)
                     throws ContradictionException
Throws:
ContradictionException

awakeOnBounds

void awakeOnBounds(int varIdx)
                   throws ContradictionException
Throws:
ContradictionException

isSatisfied

boolean isSatisfied(int[] tuple)


Copyright © 2012. All Rights Reserved.