Uses of Class
org.jacop.core.BoundDomain
-
Packages that use BoundDomain Package Description org.jacop.core -
-
Uses of BoundDomain in org.jacop.core
Fields in org.jacop.core declared as BoundDomain Modifier and Type Field Description (package private) BoundDomain
BoundDomainValueEnumeration. domain
static BoundDomain
BoundDomain. emptyDomain
It predefines empty domain so there is no need to constantly create it when needed.Methods in org.jacop.core that return BoundDomain Modifier and Type Method 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)
Constructors in org.jacop.core with parameters of type BoundDomain Constructor Description BooleanVar(Store store, java.lang.String name, BoundDomain dom)
It creates a Boolean variable.BooleanVar(Store store, BoundDomain dom)
It creates a Boolean variable.BoundDomainValueEnumeration(BoundDomain dom)
-