|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ifs.extension | |
|---|---|
| ifs.dbt | Dynamic backtracking extension of IFS solver |
| ifs.extension | IFS Extensions (conflict-based statistics, maintenance of arc consistency) |
| ifs.perturbations | Minimal Perturbation Problem: counting of perturbations |
| ifs.solver | IFS Solver |
| Classes in ifs.extension used by ifs.dbt | |
|---|---|
| Extension
Generic extension of IFS solver. |
|
| MacPropagation
MAC propagation. |
|
| Classes in ifs.extension used by ifs.extension | |
|---|---|
| Assignment
This class describing an assignment of a value to a variable together with a counter (used by CBS). |
|
| AssignmentSet
This class describing a set of assignment (used by CBS). |
|
| Extension
Generic extension of IFS solver. |
|
| Classes in ifs.extension used by ifs.perturbations | |
|---|---|
| ViolatedInitials
Computation of violated initial values (minimal perturbation problem). |
|
| Classes in ifs.extension used by ifs.solver | |
|---|---|
| Extension
Generic extension of IFS solver. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||