Uses of Class
org.jacop.floats.core.FloatDomain
-
Packages that use FloatDomain Package Description org.jacop.floats.constraints org.jacop.floats.core -
-
Uses of FloatDomain in org.jacop.floats.constraints
Methods in org.jacop.floats.constraints with parameters of type FloatDomain Modifier and Type Method Description (package private) boolean
ElementFloat. disjoint(FloatDomain v1, double v2)
-
Uses of FloatDomain in org.jacop.floats.core
Subclasses of FloatDomain in org.jacop.floats.core Modifier and Type Class Description class
FloatIntervalDomain
Defines interval of numbers which is part of FDV definition which consist of one or several intervals.Fields in org.jacop.floats.core declared as FloatDomain Modifier and Type Field Description FloatDomain
FloatVar. domain
It stores pointer to a current domain, which has stamp equal to store stamp.static FloatDomain
FloatDomain. emptyFloatDomain
It specifies an empty integer domain.FloatDomain
FloatDomain. previousDomain
It specifies the previous domain which was used by this domain.Methods in org.jacop.floats.core that return FloatDomain Modifier and Type Method Description abstract FloatDomain
FloatDomain. cloneLight()
abstract FloatDomain
FloatDomain. complement()
It creates a complement of a domain.FloatDomain
FloatIntervalDomain. complement()
It creates a complement of a domain.FloatDomain
FloatVar. dom()
This function returns current domain of the variable.abstract FloatDomain
FloatDomain. intersect(double min, double max)
In intersects current domain with the interval min..max.abstract FloatDomain
FloatDomain. intersect(FloatDomain dom)
It intersects current domain with the one given as a parameter.FloatDomain
FloatIntervalDomain. intersect(double min, double max)
In intersects current domain with the domain min..max.FloatDomain
FloatIntervalDomain. intersect(FloatDomain domain)
It interesects current domain with the one given as a parameter.abstract FloatDomain
FloatDomain. previousDomain()
It returns domain at earlier level at which the change has occurred.FloatDomain
FloatIntervalDomain. previousDomain()
abstract FloatDomain
FloatDomain. recentDomainPruning(int currentStoreLevel)
It returns the values which have been removed at current store level.FloatDomain
FloatIntervalDomain. recentDomainPruning(int storeLevel)
It removes a constraint from a domain, it should only be called by removeConstraint function of Variable object.FloatDomain
FloatVar. recentDomainPruning()
It returns the values which have been removed at current store level.FloatDomain
FloatDomain. subtract(double value)
It intersects with the domain which is a complement of value.abstract FloatDomain
FloatDomain. subtract(double min, double max)
It subtracts interval min..max.FloatDomain
FloatDomain. subtract(FloatDomain domain)
It subtracts domain from current domain and returns the result.FloatDomain
FloatIntervalDomain. subtract(double value)
FloatDomain
FloatIntervalDomain. subtract(FloatDomain domain)
It subtracts domain from current domain and returns the result.FloatDomain
FloatDomain. union(double value)
It computes union of this domain and value.FloatDomain
FloatDomain. union(double min, double max)
It computes union of this domain and the interval.FloatDomain
FloatDomain. union(FloatDomain domain)
It computes union of the supplied domain with this domain.FloatDomain
FloatIntervalDomain. union(double value)
It computes union of dom1 and value and returns the result.FloatDomain
FloatIntervalDomain. union(double min, double max)
It computes union of current domain and an interval min..max;FloatDomain
FloatIntervalDomain. union(FloatDomain domain)
It computes union of dom1 from dom2 and returns the result.Methods in org.jacop.floats.core with parameters of type FloatDomain Modifier and Type Method Description void
FloatDomain. addDom(FloatDomain domain)
It adds values as specified by the parameter to the domain.void
FloatIntervalDomain. addDom(FloatDomain domain)
It adds values as specified by the parameter to the domain.void
FloatVar. addDom(FloatDomain dom)
It is possible to add the domain of variable.private void
FloatVar. commonInitialization(Store store, java.lang.String name, FloatDomain dom)
boolean
FloatDomain. contains(FloatDomain domain)
It specifies if the current domain contains the domain given as a parameter.boolean
FloatIntervalDomain. contains(FloatDomain domain)
It specifies if the current domain contains the domain given as a parameter.boolean
FloatDomain. eq(FloatDomain domain)
It specifies if the other int domain is equal to this one.boolean
FloatIntervalDomain. eq(FloatDomain domain)
It checks if the domain is equal to the supplied domain.void
FloatDomain. in(int storeLevel, Var var, FloatDomain domain)
It updates the domain to have values only within the domain.void
FloatIntervalDomain. in(int storeLevel, Var var, FloatDomain domain)
It updates the domain to have values only within the domain.abstract void
FloatDomain. inShift(int storeLevel, Var var, FloatDomain domain, double shift)
It updates the domain to contain the elements as specifed by the domain, which is shifted.void
FloatIntervalDomain. inShift(int storeLevel, Var var, FloatDomain domain, double shift)
It updates the domain to contain the elements as specifed by the domain, which is shifted.abstract FloatDomain
FloatDomain. intersect(FloatDomain dom)
It intersects current domain with the one given as a parameter.FloatDomain
FloatIntervalDomain. intersect(FloatDomain domain)
It interesects current domain with the one given as a parameter.abstract int
FloatDomain. intersectAdapt(FloatDomain intersect)
It computes an intersection with a given domain and stores it in this domain.int
FloatIntervalDomain. intersectAdapt(FloatDomain domain)
boolean
FloatDomain. isIntersecting(FloatDomain domain)
Checks if two domains intersect.boolean
FloatIntervalDomain. isIntersecting(FloatDomain domain)
Checks if two domains intersect.int
FloatDomain. lex(FloatDomain domain)
Returns the lexical ordering between the setsabstract void
FloatDomain. setDomain(FloatDomain domain)
It sets the domain to the specified domain.void
FloatIntervalDomain. setDomain(FloatDomain domain)
It sets the domain to the specified domain.void
FloatVar. setDomain(FloatDomain dom)
It is possible to set the domain of variable.int
FloatDomain. sizeOfIntersection(FloatDomain domain)
It computes the size of the intersection between this domain and the domain supplied as a parameter.int
FloatIntervalDomain. sizeOfIntersection(FloatDomain domain)
FloatDomain
FloatDomain. subtract(FloatDomain domain)
It subtracts domain from current domain and returns the result.FloatDomain
FloatIntervalDomain. subtract(FloatDomain domain)
It subtracts domain from current domain and returns the result.FloatDomain
FloatDomain. union(FloatDomain domain)
It computes union of the supplied domain with this domain.FloatDomain
FloatIntervalDomain. union(FloatDomain domain)
It computes union of dom1 from dom2 and returns the result.int
FloatDomain. unionAdapt(FloatDomain union)
It computes a union between this domain and the domain provided as a parameter.int
FloatIntervalDomain. unionAdapt(FloatDomain union)
Constructors in org.jacop.floats.core with parameters of type FloatDomain Constructor Description FloatVar(Store store, java.lang.String name, FloatDomain dom)
It creates a variable in a given store, with a given name and a given domain.FloatVar(Store store, FloatDomain dom)
It creates a variable in a given store, with a given name and a given domain.
-