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

## Uses of Class
ifs.extension.Extension

Packages that use Extension
ifs.dbt | Dynamic backtracking extension of IFS solver
ifs.extension | IFS Extensions (conflict-based statistics, maintenance of arc consistency)
ifs.solver | IFS Solver

Uses of Extension in ifs.dbt

Subclasses of Extension in ifs.dbt
`class` | `DbtPropagation` Maintenance of arc consistency in dynamic backtracking.

Uses of Extension in ifs.extension

Subclasses of Extension in ifs.extension
`class` | `ConflictStatistics` Conflict-based statistics.
`class` | `MacPropagation` MAC propagation.
`class` | `ViolatedInitials` Computation of violated initial values (minimal perturbation problem).

Uses of Extension in ifs.solver

Methods in ifs.solver with parameters of type Extension
`void` | `Solver.addExtension(Extension extension)` Add an IFS extension

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

Copyright © 2005 Tomáš Müller