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) BoundDomainBoundDomainValueEnumeration. domainstatic BoundDomainBoundDomain. emptyDomainIt 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 BoundDomainBoundDomain. clone()BoundDomainBoundDomain. cloneLight()It clones this domain.BoundDomainBooleanVar. dom()This function returns current domain of the variable.BoundDomainBooleanVar. recentDomainPruning()It returns the values which have been removed at current store level.BoundDomainBoundDomain. 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)
-