Uses of Package
org.jacop.core

Packages that use org.jacop.core

Package	Description
org.jacop.api
org.jacop.constraints
org.jacop.constraints.binpacking
org.jacop.constraints.cumulative
org.jacop.constraints.diffn
org.jacop.constraints.geost
org.jacop.constraints.knapsack
org.jacop.constraints.netflow
org.jacop.constraints.regular
org.jacop.constraints.table
org.jacop.core
org.jacop.examples.cpviz
org.jacop.examples.fd
org.jacop.examples.fd.carsequencing
org.jacop.examples.fd.crosswords
org.jacop.examples.fd.filters
org.jacop.examples.fd.muca
org.jacop.examples.fd.nonogram
org.jacop.examples.set
org.jacop.floats.constraints
org.jacop.floats.constraints.linear
org.jacop.floats.core
org.jacop.floats.search
org.jacop.fz
org.jacop.fz.constraints
org.jacop.satwrapper
org.jacop.satwrapper.translation
org.jacop.search
org.jacop.search.restart
org.jacop.search.sgmpcs
org.jacop.set.constraints
org.jacop.set.core
org.jacop.ui
org.jacop.util
org.jacop.util.fsm

Classes in org.jacop.core used by org.jacop.api

Class and Description
Store It is an abstract class to describe all necessary functions of any store.

Classes in org.jacop.core used by org.jacop.constraints

Class and Description
IntDomain
IntervalDomain Defines interval of numbers which is part of FDV definition which consist of one or several intervals.
IntVar Defines a Finite Domain Variable (FDV) and related operations on it.
Store It is an abstract class to describe all necessary functions of any store.
TimeStamp This class provides mutable variable functionality.
Var Defines a variable and related operations on it.

Classes in org.jacop.core used by org.jacop.constraints.binpacking

Class and Description
IntVar Defines a Finite Domain Variable (FDV) and related operations on it.
Store It is an abstract class to describe all necessary functions of any store.
Var Defines a variable and related operations on it.

Classes in org.jacop.core used by org.jacop.constraints.cumulative

Class and Description
IntVar Defines a Finite Domain Variable (FDV) and related operations on it.
Store It is an abstract class to describe all necessary functions of any store.

Classes in org.jacop.core used by org.jacop.constraints.diffn

Class and Description
IntVar Defines a Finite Domain Variable (FDV) and related operations on it.
Store It is an abstract class to describe all necessary functions of any store.
Var Defines a variable and related operations on it.

Classes in org.jacop.core used by org.jacop.constraints.geost

Class and Description
IntVar Defines a Finite Domain Variable (FDV) and related operations on it.
Store It is an abstract class to describe all necessary functions of any store.
Var Defines a variable and related operations on it.

Classes in org.jacop.core used by org.jacop.constraints.knapsack

Class and Description
IntVar Defines a Finite Domain Variable (FDV) and related operations on it.
Store It is an abstract class to describe all necessary functions of any store.
Var Defines a variable and related operations on it.

Classes in org.jacop.core used by org.jacop.constraints.netflow

Class and Description
Domain Defines a Domain and related operations on it.
IntDomain
IntVar Defines a Finite Domain Variable (FDV) and related operations on it.
Store It is an abstract class to describe all necessary functions of any store.
TimeStamp This class provides mutable variable functionality.
Var Defines a variable and related operations on it.

Classes in org.jacop.core used by org.jacop.constraints.regular

Class and Description
IntDomain
IntervalDomain Defines interval of numbers which is part of FDV definition which consist of one or several intervals.
IntVar Defines a Finite Domain Variable (FDV) and related operations on it.
Store It is an abstract class to describe all necessary functions of any store.
TimeStamp This class provides mutable variable functionality.
Var Defines a variable and related operations on it.

Classes in org.jacop.core used by org.jacop.constraints.table

Class and Description
IntVar Defines a Finite Domain Variable (FDV) and related operations on it.
Store It is an abstract class to describe all necessary functions of any store.
Var Defines a variable and related operations on it.

Classes in org.jacop.core used by org.jacop.core

Class and Description
Backtrackable
BacktrackableManager
BooleanVar Defines a variable and related operations on it.
Domain Defines a Domain and related operations on it.
FailException It is thrown when search has encountered a dead end and backtracking must occurr.
IntDomain
Interval Defines interval of numbers which is part of FDV definition which consist of one or several intervals.
IntervalDomain Defines interval of numbers which is part of FDV definition which consist of one or several intervals.
IntervalEnumeration Defines a methods for enumerating values contain in the intersal domain.
IntVar Defines a Finite Domain Variable (FDV) and related operations on it.
MutableVar Standard mutable variable definition
MutableVarValue Standard mutable variable's value definition
SimpleBacktrackableManager It is responsible of remembering what variables have changed at given store level.
SmallDenseDomain Defines small dense domain based on bits within a long number.
Store It is an abstract class to describe all necessary functions of any store.
TimeStamp This class provides mutable variable functionality.
ValueEnumeration Defines a methods for enumerating values contained in the domain.
Var Defines a variable and related operations on it.

Classes in org.jacop.core used by org.jacop.examples.cpviz

Class and Description
Var Defines a variable and related operations on it.

Classes in org.jacop.core used by org.jacop.examples.fd

Class and Description
BooleanVar Defines a variable and related operations on it.
IntVar Defines a Finite Domain Variable (FDV) and related operations on it.
Store It is an abstract class to describe all necessary functions of any store.
Var Defines a variable and related operations on it.

Classes in org.jacop.core used by org.jacop.examples.fd.carsequencing

Class and Description
IntervalDomain Defines interval of numbers which is part of FDV definition which consist of one or several intervals.

Classes in org.jacop.core used by org.jacop.examples.fd.crosswords

Class and Description
Var Defines a variable and related operations on it.

Classes in org.jacop.core used by org.jacop.examples.fd.filters

Class and Description
IntVar Defines a Finite Domain Variable (FDV) and related operations on it.
Store It is an abstract class to describe all necessary functions of any store.

Classes in org.jacop.core used by org.jacop.examples.fd.muca

Class and Description
IntVar Defines a Finite Domain Variable (FDV) and related operations on it.

Classes in org.jacop.core used by org.jacop.examples.fd.nonogram

Class and Description
IntVar Defines a Finite Domain Variable (FDV) and related operations on it.

Classes in org.jacop.core used by org.jacop.examples.set

Class and Description
IntVar Defines a Finite Domain Variable (FDV) and related operations on it.
Store It is an abstract class to describe all necessary functions of any store.
Var Defines a variable and related operations on it.

Classes in org.jacop.core used by org.jacop.floats.constraints

Class and Description
IntVar Defines a Finite Domain Variable (FDV) and related operations on it.
Store It is an abstract class to describe all necessary functions of any store.
Var Defines a variable and related operations on it.

Classes in org.jacop.core used by org.jacop.floats.constraints.linear

Class and Description
Store It is an abstract class to describe all necessary functions of any store.

Classes in org.jacop.core used by org.jacop.floats.core

Class and Description
Backtrackable
Domain Defines a Domain and related operations on it.
IntervalEnumeration Defines a methods for enumerating values contain in the intersal domain.
Store It is an abstract class to describe all necessary functions of any store.
ValueEnumeration Defines a methods for enumerating values contained in the domain.
Var Defines a variable and related operations on it.

Classes in org.jacop.core used by org.jacop.floats.search

Class and Description
Store It is an abstract class to describe all necessary functions of any store.
Var Defines a variable and related operations on it.

Classes in org.jacop.core used by org.jacop.fz

Class and Description
BooleanVar Defines a variable and related operations on it.
IntDomain
IntVar Defines a Finite Domain Variable (FDV) and related operations on it.
Store It is an abstract class to describe all necessary functions of any store.
Var Defines a variable and related operations on it.

Classes in org.jacop.core used by org.jacop.fz.constraints

Class and Description
IntVar Defines a Finite Domain Variable (FDV) and related operations on it.
Store It is an abstract class to describe all necessary functions of any store.

Classes in org.jacop.core used by org.jacop.satwrapper

Class and Description
IntVar Defines a Finite Domain Variable (FDV) and related operations on it.
Store It is an abstract class to describe all necessary functions of any store.
Var Defines a variable and related operations on it.

Classes in org.jacop.core used by org.jacop.satwrapper.translation

Class and Description
IntDomain
IntVar Defines a Finite Domain Variable (FDV) and related operations on it.

Classes in org.jacop.core used by org.jacop.search

Class and Description
Domain Defines a Domain and related operations on it.
IntVar Defines a Finite Domain Variable (FDV) and related operations on it.
Store It is an abstract class to describe all necessary functions of any store.
Var Defines a variable and related operations on it.

Classes in org.jacop.core used by org.jacop.search.restart

Class and Description
Store It is an abstract class to describe all necessary functions of any store.
Var Defines a variable and related operations on it.

Classes in org.jacop.core used by org.jacop.search.sgmpcs

Class and Description
IntVar Defines a Finite Domain Variable (FDV) and related operations on it.
Store It is an abstract class to describe all necessary functions of any store.
Var Defines a variable and related operations on it.

Classes in org.jacop.core used by org.jacop.set.constraints

Class and Description
IntDomain
IntVar Defines a Finite Domain Variable (FDV) and related operations on it.
Store It is an abstract class to describe all necessary functions of any store.
TimeStamp This class provides mutable variable functionality.
Var Defines a variable and related operations on it.

Classes in org.jacop.core used by org.jacop.set.core

Class and Description
Backtrackable
Domain Defines a Domain and related operations on it.
IntDomain
Interval Defines interval of numbers which is part of FDV definition which consist of one or several intervals.
Store It is an abstract class to describe all necessary functions of any store.
ValueEnumeration Defines a methods for enumerating values contained in the domain.
Var Defines a variable and related operations on it.

Classes in org.jacop.core used by org.jacop.ui

Class and Description
IntVar Defines a Finite Domain Variable (FDV) and related operations on it.

Classes in org.jacop.core used by org.jacop.util

Class and Description
IntVar Defines a Finite Domain Variable (FDV) and related operations on it.
Store It is an abstract class to describe all necessary functions of any store.
Var Defines a variable and related operations on it.

Classes in org.jacop.core used by org.jacop.util.fsm

Class and Description
IntDomain
IntVar Defines a Finite Domain Variable (FDV) and related operations on it.