Uses of Interface
org.jacop.core.Backtrackable

Packages that use Backtrackable

Package	Description
org.jacop.core
org.jacop.floats.core
org.jacop.set.core

Uses of Backtrackable in org.jacop.core

Classes in org.jacop.core that implement Backtrackable

Modifier and Type	Class	Description
class	BooleanVar	Defines a variable and related operations on it.
class	IntVar	Defines a Finite Domain Variable (FDV) and related operations on it.
class	Var	Defines a variable and related operations on it.

Fields in org.jacop.core declared as Backtrackable

Modifier and Type	Field	Description
Backtrackable[]	SimpleBacktrackableManager.objects	It stores objects which change has to be restored upon backtracking.

Methods in org.jacop.core with parameters of type Backtrackable

Modifier and Type	Method	Description
void	BacktrackableManager.update(Backtrackable[] objects, int noOfObjects)	It updates the manager with new array of objects to manage and new number of them.
void	SimpleBacktrackableManager.update(Backtrackable[] objects, int noOfObjects)

Constructors in org.jacop.core with parameters of type Backtrackable

Constructor	Description
IntervalBasedBacktrackableManager(Backtrackable[] vars, int noOfObjects, int minHoleSize, int maxNoOfIntervals)	It creates a interval based backtrackable manager.
SimpleBacktrackableManager(Backtrackable[] vars, int noOfObjects)	It constructs a trail manager.

Uses of Backtrackable in org.jacop.floats.core

Classes in org.jacop.floats.core that implement Backtrackable

Modifier and Type	Class	Description
class	FloatVar	Defines a Float Domain Variable and related operations on it.

Uses of Backtrackable in org.jacop.set.core

Classes in org.jacop.set.core that implement Backtrackable

Modifier and Type	Class	Description
class	SetVar	Defines a Finite Domain Variable (FDV) and related operations on it.