Uses of Class
org.jacop.core.SmallDenseDomain
-
Packages that use SmallDenseDomain Package Description org.jacop.core -
-
Uses of SmallDenseDomain in org.jacop.core
Fields in org.jacop.core declared as SmallDenseDomain Modifier and Type Field Description (package private) SmallDenseDomain
SmallDenseDomainIntervalEnumeration. domain
(package private) SmallDenseDomain
SmallDenseDomainValueEnumeration. domain
static SmallDenseDomain
SmallDenseDomain. emptyDomain
It is an empty domain returned by default when empty domain becomes a result of any function.Methods in org.jacop.core that return SmallDenseDomain Modifier and Type Method Description SmallDenseDomain
SmallDenseDomain. cloneLight()
It clones the domain object, only data responsible for encoding domain values is cloned.SmallDenseDomain
SmallDenseDomain. intersect(IntervalDomain input, int shift)
Constructors in org.jacop.core with parameters of type SmallDenseDomain Constructor Description SmallDenseDomainIntervalEnumeration(SmallDenseDomain dom)
It create an enumeration for a given domain.SmallDenseDomainValueEnumeration(SmallDenseDomain dom)
It create an enumeration for a given domain.
-