See: Description
| Class | Description |
|---|---|
| AssignedValue<T extends Value<?,T>> |
This class describing an assignment of a value to a variable together with a
counter (used by CBS).
|
| AssignedValue.AssignmentComparator<E extends Value<?,E>> |
Assignment comparator
|
| AssignedValueSet<T extends Value<?,T>> |
This class describing a set of assignment (used by CBS).
|
| ConflictStatistics<V extends Variable<V,T>,T extends Value<V,T>> |
Conflict-based statistics.
|
| Extension<V extends Variable<V,T>,T extends Value<V,T>> |
Generic extension of IFS solver.
|
| MacPropagation<V extends Variable<V,T>,T extends Value<V,T>> |
MAC propagation.
|
| MacRevised<V extends Variable<V,T>,T extends Value<V,T>> |
Another implementation of MAC propagation.
|
| SearchIntensification<V extends Variable<V,T>,T extends Value<V,T>> |
Go back to the best known solution when no better solution is found within
the given amount of iterations.
|
| ViolatedInitials<V extends Variable<V,T>,T extends Value<V,T>> |
Computation of violated initial values (minimal perturbation problem).
|