Uses of Class
org.jacop.core.Domain
Packages that use Domain
Package
Description
-
Uses of Domain in org.jacop.constraints
Subclasses of Domain in org.jacop.constraints -
Uses of Domain in org.jacop.constraints.netflow
Methods in org.jacop.constraints.netflow with parameters of type DomainModifier and TypeMethodDescriptionprivate void
Pruning.sVarInDom
(ArcCompanion companion, Domain domain) Constructor parameters in org.jacop.constraints.netflow with type arguments of type Domain -
Uses of Domain in org.jacop.core
Subclasses of Domain in org.jacop.coreModifier and TypeClassDescription(package private) class
Defines interval of numbers which is part of FDV definition which consist of one or several intervals.class
Defines an integer domain and related operations on it.class
Defines interval of numbers which is part of FDV definition which consist of one or several intervals.class
Defines small dense domain based on bits within a long number.Fields in org.jacop.core declared as DomainModifier and TypeFieldDescriptionMutableDomainValue.domain
It stores the value of the mutable domain.Methods in org.jacop.core that return DomainModifier and TypeMethodDescriptionabstract Domain
Domain.clone()
It clones the domain object.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 DomainModifier and TypeMethodDescriptionvoid
It is possible to add the domain of variable.abstract void
It enforces that this domain is included within the specified domain.void
(package private) void
abstract boolean
It returns true if given domain has only one element.boolean
Constructors in org.jacop.core with parameters of type Domain -
Uses of Domain in org.jacop.floats.core
Subclasses of Domain in org.jacop.floats.coreModifier and TypeClassDescriptionclass
Defines an integer domain and related operations on it.class
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 -
Uses of Domain in org.jacop.search
Fields in org.jacop.search declared as DomainModifier and TypeFieldDescription(package private) Domain
TraceGenerator.SearchNode.dom
Domain[][]
SimpleSolutionListener.solutions
Methods in org.jacop.search that return DomainModifier and TypeMethodDescriptionDomain[]
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 DomainModifier and TypeMethodDescription(package private) void
TraceGenerator.generateFailcNode
(int searchNodeId, int parentNode, String name, int size, Domain dom) (package private) void
TraceGenerator.generateTrycNode
(int searchNodeId, int parentNode, String name, int size, Domain dom) -
Uses of Domain in org.jacop.set.core
Subclasses of Domain in org.jacop.set.coreModifier and TypeClassDescriptionclass
Defines a set interval determined by a least upper bound(lub) and a greatest lower bound(glb).class
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