|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Class Summary | |
|---|---|
| Assignment<T extends Value<?,T>> | This class describing an assignment of a value to a variable together with a counter (used by CBS). |
| Assignment.AssignmentComparator<E extends Value<?,E>> | Assignment comparator |
| AssignmentSet<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). |
IFS Extensions (conflict-based statistics, maintenance of arc consistency)
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||