Package | Description |
---|---|
org.jacop.core |
Modifier and Type | Field and Description |
---|---|
static BoundDomain |
BoundDomain.emptyDomain
It predefines empty domain so there is no need to constantly create it when
needed.
|
BoundDomain |
BoundDomain.previousDomain
It specifies the previous domain which was used by this domain.
|
Modifier and Type | Method and Description |
---|---|
BoundDomain |
BoundDomain.clone() |
BoundDomain |
BoundDomain.cloneLight()
It clones this domain.
|
BoundDomain |
BooleanVar.dom()
This function returns current domain of the variable.
|
BoundDomain |
BooleanVar.recentDomainPruning()
It returns the values which have been removed at current store level.
|
BoundDomain |
BoundDomain.subtract(int min,
int max) |
Constructor and Description |
---|
BooleanVar(Store store,
BoundDomain dom)
It creates a Boolean variable.
|
BooleanVar(Store store,
String name,
BoundDomain dom)
It creates a Boolean variable.
|
BoundDomainValueEnumeration(BoundDomain dom) |
Copyright © 2015. All rights reserved.