choco.kernel.solver.constraints.integer
Class AbstractLargeIntSConstraint

java.lang.Object
  extended by choco.kernel.solver.propagation.Propagator
      extended by choco.kernel.solver.constraints.AbstractSConstraint<IntDomainVar>
          extended by choco.kernel.solver.constraints.integer.AbstractIntSConstraint
              extended by choco.kernel.solver.constraints.integer.AbstractLargeIntSConstraint
All Implemented Interfaces:
IExtensionnable, IPretty, SConstraint<IntDomainVar>, IntPropagator, Cloneable, EventListener
Direct Known Subclasses:
AbstractBipartiteGraph, AbstractBoolSum, AbstractPrecedenceSConstraint, AbstractSoftCumulative, AbstractStrongConsistency, AbstractTaskSConstraint, AbstractUnIntSConstraint, AmongGAC, AtMostNValue, BoolIntLinComb, BoundAllDiff, BoundGccVar, ClauseStore, CostRegular, CspLargeSConstraint, DomainChanneling, ElementV, ElementVG, Exactly, FastRegular, Geost_Constraint, IncreasingNValue, IncreasingSum, IntLinComb, InverseChanneling, InverseChannelingWithinRange, LargeAnd, LargeNand, LargeNor, LargeOr, LargeXnor, LargeXor, Lex, LexChain, LeximinSConstraint, MaxOfAList, MinOfAList, MinSpanningTree, MultiCostRegular, NSPStruct, Occurrence, OrderedGcc, Regular, ReifiedIntSConstraint, ReifiedLargeAnd, ReifiedLargeNand, ReifiedLargeNor, ReifiedLargeOr, ScalarAtMost, SemiLeximinSConstraint, SoftIntSConstraint, SoftMultiCostRegular, SortingSConstraint, SubSetChannelling, SubTourConstraint, TreeSConstraint

public abstract class AbstractLargeIntSConstraint
extends AbstractIntSConstraint

An abstract class for all implementations of listeners over many search variables.


Field Summary
 
Fields inherited from class choco.kernel.solver.constraints.AbstractSConstraint
cIndices, constraintType, extensions, vars
 
Fields inherited from class choco.kernel.solver.propagation.Propagator
active, constAwakeEvent, priority, propagationEngine
 
Fields inherited from interface choco.kernel.solver.constraints.SConstraint
LOGGER
 
Constructor Summary
  AbstractLargeIntSConstraint(IntDomainVar[] vars)
           
protected AbstractLargeIntSConstraint(int priority, IntDomainVar[] vars)
           
 
Method Summary
 
Methods inherited from class choco.kernel.solver.constraints.integer.AbstractIntSConstraint
awakeOnBounds, awakeOnInf, awakeOnInst, awakeOnRem, awakeOnRemovals, awakeOnSup, getConstraintType, isConsistent, isSatisfied, isSatisfied
 
Methods inherited from class choco.kernel.solver.constraints.AbstractSConstraint
addExtension, addListener, clone, getAbstractSConstraintExtensionNumber, getConstraintIdx, getExtension, getFineDegree, getNbVarNotInst, getNbVars, getVar, getVarQuick, isCompletelyInstantiated, isEntailed, 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
 
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

AbstractLargeIntSConstraint

public AbstractLargeIntSConstraint(IntDomainVar[] vars)

AbstractLargeIntSConstraint

protected AbstractLargeIntSConstraint(int priority,
                                      IntDomainVar[] vars)


Copyright © 2012. All Rights Reserved.