Uses of Class
org.jacop.core.Domain
-
Packages that use Domain Package Description org.jacop.constraints org.jacop.constraints.netflow org.jacop.core org.jacop.floats.core org.jacop.search org.jacop.set.core -
-
Uses of Domain in org.jacop.constraints
Subclasses of Domain in org.jacop.constraints Modifier and Type Class Description private static class
GCC.XDomain
-
Uses of Domain in org.jacop.constraints.netflow
Methods in org.jacop.constraints.netflow with parameters of type Domain Modifier and Type Method Description private void
Pruning. sVarInDom(ArcCompanion companion, Domain domain)
Constructor parameters in org.jacop.constraints.netflow with type arguments of type Domain Constructor Description DomainStructure(IntVar variable, java.util.List<Domain> domList, java.util.List<Arc> arcList)
Creates an S-variable -
Uses of Domain in org.jacop.core
Subclasses of Domain in org.jacop.core Modifier and Type Class Description (package private) class
BoundDomain
Defines interval of numbers which is part of FDV definition which consist of one or several intervals.class
IntDomain
Defines an integer domain and related operations on it.class
IntervalDomain
Defines interval of numbers which is part of FDV definition which consist of one or several intervals.class
SmallDenseDomain
Defines small dense domain based on bits within a long number.Fields in org.jacop.core declared as Domain Modifier and Type Field Description Domain
MutableDomainValue. domain
It stores the value of the mutable domain.Methods in org.jacop.core that return Domain Modifier and Type Method Description abstract Domain
Domain. clone()
It clones the domain object.Domain
SmallDenseDomain. clone()
abstract Domain
Domain. cloneLight()
It clones the domain object, only data responsible for encoding domain values is cloned.abstract Domain
Var. dom()
This function returns current domain of the variable.Methods in org.jacop.core with parameters of type Domain Modifier and Type Method Description void
BooleanVar. addDom(Domain dom)
It is possible to add the domain of variable.abstract void
Domain. in(int level, Var var, Domain domain)
It enforces that this domain is included within the specified domain.void
IntDomain. in(int level, Var var, Domain domain)
(package private) void
MutableDomainValue. setValue(Domain domain)
abstract boolean
Domain. singleton(Domain value)
It returns true if given domain has only one element.boolean
IntDomain. singleton(Domain value)
Constructors in org.jacop.core with parameters of type Domain Constructor Description MutableDomainValue(Domain domain)
-
Uses of Domain in org.jacop.floats.core
Subclasses of Domain in org.jacop.floats.core Modifier and Type Class Description class
FloatDomain
Defines an integer domain and related operations on it.class
FloatIntervalDomain
Defines interval of numbers which is part of FDV definition which consist of one or several intervals.Methods in org.jacop.floats.core with parameters of type Domain Modifier and Type Method Description void
FloatDomain. in(int level, Var var, Domain domain)
boolean
FloatDomain. singleton(Domain value)
-
Uses of Domain in org.jacop.search
Fields in org.jacop.search declared as Domain Modifier and Type Field Description (package private) Domain
TraceGenerator.SearchNode. dom
Domain[][]
SimpleSolutionListener. solutions
Methods in org.jacop.search that return Domain Modifier and Type Method Description Domain[]
DepthFirstSearch. getSolution()
Domain[]
DepthFirstSearch. getSolution(int no)
Domain[]
Search. getSolution()
It returns the solution (an assignment of values to variables).Domain[]
Search. getSolution(int no)
It returns the solution specified by the search.Domain[]
SimpleSolutionListener. getSolution(int no)
It returns the solution number no.Domain[]
SolutionListener. getSolution(int no)
It returns the solution number no.Domain[][]
SimpleSolutionListener. getSolutions()
Domain[][]
SolutionListener. getSolutions()
It returns all solutions.Methods in org.jacop.search with parameters of type Domain Modifier and Type Method Description (package private) void
TraceGenerator. generateFailcNode(int searchNodeId, int parentNode, java.lang.String name, int size, Domain dom)
(package private) void
TraceGenerator. generateTrycNode(int searchNodeId, int parentNode, java.lang.String name, int size, Domain dom)
-
Uses of Domain in org.jacop.set.core
Subclasses of Domain in org.jacop.set.core Modifier and Type Class Description class
BoundSetDomain
Defines a set interval determined by a least upper bound(lub) and a greatest lower bound(glb).class
SetDomain
Defines a set interval determined by a least upper bound(lub) and a greatest lower bound(glb).Methods in org.jacop.set.core with parameters of type Domain Modifier and Type Method Description void
SetDomain. in(int level, Var var, Domain domain)
boolean
BoundSetDomain. singleton(Domain value)
-