Package org.jacop.core

Interface Summary

Interface	Description
Backtrackable
BacktrackableManager
MutableVar	Standard mutable variable definition
MutableVarValue	Standard mutable variable's value definition

Class Summary

Class	Description
BooleanVar	Defines a variable and related operations on it.
BoundDomain	Defines interval of numbers which is part of FDV definition which consist of one or several intervals.
BoundDomainIntervalEnumeration	Defines a methods for enumerating intervals contained in the BoundDomain.
BoundDomainValueEnumeration	Defines a methods for enumerating values contained in the BoundDomain.
Domain	Defines a Domain and related operations on it.
IntDomain	Defines an integer domain and related operations on it.
Interval	Defines interval of numbers which is part of FDV definition which consist of one or several intervals.
IntervalBasedBacktrackableManager
IntervalDomain	Defines interval of numbers which is part of FDV definition which consist of one or several intervals.
IntervalDomainIntervalEnumeration	Defines a methods for enumerating values contain in the intersal domain.
IntervalDomainValueEnumeration	Defines a methods for enumerating values contain in the domain.
IntervalEnumeration	Defines a methods for enumerating values contain in the intersal domain.
IntVar	Defines a Finite Domain Variable (FDV) and related operations on it.
MutableDomain
MutableDomainValue
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.
SmallDenseDomainIntervalEnumeration
SmallDenseDomainValueEnumeration	Defines a methods for enumerating values contain in the domain.
Store	It is an abstract class to describe all necessary functions of any store.
SwitchesPruningLogging	It is a container class which specifies all different switches to turn on debugging information.
TimeStamp<T>	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.
XMLSaveSupport

Exception Summary

Exception	Description
FailException	It is thrown when search has encountered a dead end and backtracking must occurr.