|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use net.sf.cpsolver.ifs.extension | |
---|---|
net.sf.cpsolver.ifs.dbt | Dynamic backtracking extension of IFS solver |
net.sf.cpsolver.ifs.extension | IFS Extensions (conflict-based statistics, maintenance of arc consistency) |
net.sf.cpsolver.ifs.perturbations | Minimal Perturbation Problem: counting of perturbations |
net.sf.cpsolver.ifs.solver | IFS Solver |
net.sf.cpsolver.studentsct.extension | Student Sectioning: Various Extensions. |
Classes in net.sf.cpsolver.ifs.extension used by net.sf.cpsolver.ifs.dbt | |
---|---|
Extension
Generic extension of IFS solver. |
|
MacPropagation
MAC propagation. |
Classes in net.sf.cpsolver.ifs.extension used by net.sf.cpsolver.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 net.sf.cpsolver.ifs.extension used by net.sf.cpsolver.ifs.perturbations | |
---|---|
ViolatedInitials
Computation of violated initial values (minimal perturbation problem). |
Classes in net.sf.cpsolver.ifs.extension used by net.sf.cpsolver.ifs.solver | |
---|---|
Extension
Generic extension of IFS solver. |
Classes in net.sf.cpsolver.ifs.extension used by net.sf.cpsolver.studentsct.extension | |
---|---|
ConflictStatistics
Conflict-based statistics. |
|
Extension
Generic extension of IFS solver. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |