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)