Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

## Uses of Package
ifs.extension

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.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

Copyright © 2005 Tomáš Müller