Interface | Description |
---|---|
Backtrackable | |
BacktrackableManager | |
MutableVar |
Standard mutable variable definition
|
MutableVarValue |
Standard mutable variable's value definition
|
Class | Description |
---|---|
BooleanVar |
Defines a variable and related operations on it.
|
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 | |
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 |
Defines interval enumeration of small dense domain.
|
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.
|
Exception | Description |
---|---|
FailException |
It is thrown when search has encountered a dead end and backtracking must occurr.
|
Copyright © 2022. All rights reserved.