Package org.jacop.core
package org.jacop.core
-
ClassDescriptionDefines a variable and related operations on it.Defines interval of numbers which is part of FDV definition which consist of one or several intervals.Defines a methods for enumerating intervals contained in the BoundDomain.Defines a methods for enumerating values contained in the BoundDomain.Defines a Domain and related operations on it.It is thrown when search has encountered a dead end and backtracking must occurr.Defines interval of numbers which is part of FDV definition which consist of one or several intervals.Defines interval of numbers which is part of FDV definition which consist of one or several intervals.Defines a methods for enumerating values contain in the intersal domain.Defines a methods for enumerating values contain in the domain.Defines a methods for enumerating values contain in the intersal domain.Defines a Finite Domain Variable (FDV) and related operations on it.Standard mutable variable definitionStandard mutable variable's value definitionIt is responsible of remembering what variables have changed at given store level.Defines small dense domain based on bits within a long number.Defines interval enumeration of small dense domain.Defines a methods for enumerating values contain in the domain.It is an abstract class to describe all necessary functions of any store.It is a container class which specifies all different switches to turn on debugging information.TimeStamp<T>This class provides mutable variable functionality.Defines a methods for enumerating values contained in the domain.Defines a variable and related operations on it.