Uses of Class
org.jacop.core.Domain

Packages that use Domain

Package	Description
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.netflow

Constructor parameters in org.jacop.constraints.netflow with type arguments of type Domain

Constructor and Description
DomainStructure(IntVar variable, List<Domain> domList, 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 and Description
class	IntDomain
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 and Description
Domain	MutableDomainValue.domain It stores the value of the mutable domain.

Methods in org.jacop.core that return Domain

Modifier and Type	Method and Description
abstract Domain	Domain.clone() It clones the domain object.
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 and 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)
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 and Description
MutableDomainValue(Domain domain)

Uses of Domain in org.jacop.floats.core

Subclasses of Domain in org.jacop.floats.core

Modifier and Type	Class and Description
class	FloatDomain
class	FloatIntervalDomain

Methods in org.jacop.floats.core with parameters of type Domain

Modifier and Type	Method and 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 and Description
Domain[][]	SimpleSolutionListener.solutions

Methods in org.jacop.search that return Domain

Modifier and Type	Method and Description
Domain[]	DepthFirstSearch.getSolution()
Domain[]	Search.getSolution() It returns the solution (an assignment of values to variables).
Domain[]	DepthFirstSearch.getSolution(int no)
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.

Uses of Domain in org.jacop.set.core

Subclasses of Domain in org.jacop.set.core

Modifier and Type	Class and 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 and Description
void	SetDomain.in(int level, Var var, Domain domain)
boolean	BoundSetDomain.singleton(Domain value)