|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Class Summary | |
---|---|
Assignment | This class describing an assignment of a value to a variable together with a counter (used by CBS). |
Assignment.AssignmentComparator | Assignment comparator |
AssignmentSet | This class describing a set of assignment (used by CBS). |
ConflictStatistics | Conflict-based statistics. |
Extension | Generic extension of IFS solver. |
MacPropagation | MAC propagation. |
MacRevised | Another implementation of MAC propagation. |
SearchIntensification | Go back to the best known solution when no better solution is found within the given amount of iterations. |
ViolatedInitials | Computation of violated initial values (minimal perturbation problem). |
IFS Extensions (conflict-based statistics, maintenance of arc consistency)
|
||||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |