Uses of Interface
org.jacop.core.Backtrackable
Packages that use Backtrackable
-
Uses of Backtrackable in org.jacop.core
Classes in org.jacop.core that implement BacktrackableModifier and TypeClassDescriptionclass
Defines a variable and related operations on it.class
Defines a Finite Domain Variable (FDV) and related operations on it.class
Defines a variable and related operations on it.Fields in org.jacop.core declared as BacktrackableModifier and TypeFieldDescriptionSimpleBacktrackableManager.objects
It stores objects which change has to be restored upon backtracking.Methods in org.jacop.core with parameters of type BacktrackableModifier and TypeMethodDescriptionvoid
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 BacktrackableModifierConstructorDescriptionIntervalBasedBacktrackableManager
(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 BacktrackableModifier and TypeClassDescriptionclass
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 BacktrackableModifier and TypeClassDescriptionclass
Defines a Finite Domain Variable (FDV) and related operations on it.