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).
|