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

private static class GCC.XDomain
extends IntervalDomain

Field Summary

Fields

Modifier and Type	Field	Description
(package private) int	index
(package private) Var	twin

Fields 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

Constructor	Description
XDomain(Var twin, int min, int max)

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

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

twin

Var twin

index

int index

Constructor Details

XDomain

XDomain(Var twin,
 int min,
 int max)