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)
|
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.