Package org.jacop.constraints
Class GCC.XDomain
java.lang.Object
org.jacop.core.Domain
org.jacop.core.IntDomain
org.jacop.core.IntervalDomain
org.jacop.constraints.GCC.XDomain
- All Implemented Interfaces:
Cloneable
- Enclosing class:
- GCC
-
Field Summary
FieldsFields inherited from class org.jacop.core.IntervalDomain
emptyDomain, intervals, size
Fields inherited from class org.jacop.core.IntDomain
ANY, BOUND, BoundDomainID, emptyIntDomain, GROUND, IntervalDomainID, MaxInt, MinInt, previousDomain, SmallDenseDomainID
Fields inherited from class org.jacop.core.Domain
failException, modelConstraints, modelConstraintsToEvaluate, NOINFO, NONE, searchConstraints, searchConstraintsCloned, searchConstraintsToEvaluate, stamp
-
Constructor Summary
Constructors -
Method Summary
Methods inherited from class org.jacop.core.IntervalDomain
addDom, addLastElement, checkInvariants, clear, clone, cloneLight, complement, contains, contains, contains, domainID, eq, getElementAt, getInterval, getPreviousDomain, getRandomValue, getSize, in, in, inComplement, inComplement, inMax, inMin, inShift, intersect, intersect, intersectAdapt, intersectAdapt, intervalEnumeration, intervalNo, inValue, isEmpty, isIntersecting, isIntersecting, isNumeric, isSparseRepresentation, leftElement, max, min, multiply, nextValue, noIntervals, previousValue, recentDomainPruning, removeInterval, removeLevel, rightElement, setDomain, setDomain, singleton, singleton, sizeConstraintsOriginal, sizeOfIntersection, subtract, subtract, subtract, subtractAdapt, subtractAdapt, toString, toStringConstraints, toStringFull, union, union, union, unionAdapt, unionAdapt, unionAdapt, unionAdapt, valueEnumeration
Methods inherited from class org.jacop.core.IntDomain
addInt, divBounds, divIntBounds, divIntBounds, divRoundDown, divRoundDown, divRoundUp, divRoundUp, elementsSmallerThan, getEventsInclusion, in, lex, mulBounds, mulBounds, multiplyInt, noConstraints, putModelConstraint, putSearchConstraint, removeModelConstraint, removeSearchConstraint, removeSearchConstraint, singleton, squareBounds, subtractInt, toIntArray, value
Methods inherited from class org.jacop.core.Domain
constraints, noSearchConstraints, searchConstraints, setStamp, sizeConstraints, stamp