Package | Description |
---|---|
org.jacop.core |
Modifier and Type | Field and Description |
---|---|
static SmallDenseDomain |
SmallDenseDomain.emptyDomain
It is an empty domain returned by default when empty domain becomes a result of
any function.
|
Modifier and Type | Method and Description |
---|---|
SmallDenseDomain |
SmallDenseDomain.clone() |
SmallDenseDomain |
SmallDenseDomain.cloneLight()
It clones the domain object, only data responsible for encoding domain
values is cloned.
|
SmallDenseDomain |
SmallDenseDomain.intersect(IntervalDomain input,
int shift) |
Constructor and Description |
---|
SmallDenseDomainIntervalEnumeration(SmallDenseDomain dom)
It create an enumeration for a given domain.
|
SmallDenseDomainValueEnumeration(SmallDenseDomain dom)
It create an enumeration for a given domain.
|
Copyright © 2022. All rights reserved.