|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use ifs.solver | |
|---|---|
| ifs.dbt | Dynamic backtracking extension of IFS solver |
| ifs.extension | IFS Extensions (conflict-based statistics, maintenance of arc consistency) |
| ifs.heuristics | IFS Heuristics (value and variable selection criteria) |
| ifs.model | IFS Model (description of a problem) |
| ifs.perturbations | Minimal Perturbation Problem: counting of perturbations |
| ifs.solution | IFS Solution (also contains solution comparator) |
| ifs.solver | IFS Solver |
| ttsolver | Purdue University Timetabling. |
| ttsolver.heuristics | Purdue University Timetabling: Heuristics. |
| Classes in ifs.solver used by ifs.dbt | |
|---|---|
| Solver
IFS Solver. |
|
| SolverListener
IFS Solver Listener. |
|
| Classes in ifs.solver used by ifs.extension | |
|---|---|
| Solver
IFS Solver. |
|
| Classes in ifs.solver used by ifs.heuristics | |
|---|---|
| Solver
IFS Solver. |
|
| Classes in ifs.solver used by ifs.model | |
|---|---|
| Solver
IFS Solver. |
|
| Classes in ifs.solver used by ifs.perturbations | |
|---|---|
| Solver
IFS Solver. |
|
| Classes in ifs.solver used by ifs.solution | |
|---|---|
| Solver
IFS Solver. |
|
| Classes in ifs.solver used by ifs.solver | |
|---|---|
| Solver.SolverThread
Solver thread |
|
| SolverListener
IFS Solver Listener. |
|
| Classes in ifs.solver used by ttsolver | |
|---|---|
| Solver
IFS Solver. |
|
| Classes in ifs.solver used by ttsolver.heuristics | |
|---|---|
| Solver
IFS Solver. |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||