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

## Uses of Class
ifs.solver.Solver

Packages that use 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)
ttsolver | Purdue University Timetabling.
ttsolver.heuristics | Purdue University Timetabling: Heuristics.

Uses of Solver in ifs.dbt

Methods in ifs.dbt with parameters of type Solver
`void` | `DbtValueSelection.init(Solver solver)` Heuristics initialization
`void` | `DbtVariableSelection.init(Solver solver)` Heuristics initialization

Constructors in ifs.dbt with parameters of type Solver
`DbtPropagation(Solver solver, DataProperties properties)` Constructor.

Uses of Solver in ifs.extension

Methods in ifs.extension that return Solver
`Solver` | `Extension.getSolver()` Returns the solver

Methods in ifs.extension with parameters of type Solver
`boolean` | `Extension.init(Solver solver)` Initialization -- called before the solver is started
`boolean` | `MacPropagation.init(Solver solver)` Initialization.

Constructors in ifs.extension with parameters of type Solver
`ConflictStatistics(Solver solver, DataProperties properties)`
`Extension(Solver solver, DataProperties properties)` Constructor
`MacPropagation(Solver solver, DataProperties properties)` Constructor
`ViolatedInitials(Solver solver, DataProperties properties)`

Uses of Solver in ifs.heuristics

Methods in ifs.heuristics with parameters of type Solver
`void` | `GeneralValueSelection.init(Solver solver)` Initialization
`void` | `GeneralVariableSelection.init(Solver solver)` Initialization
`void` | `ValueSelection.init(Solver solver)` Initialization
`void` | `VariableSelection.init(Solver solver)` Initialization

Uses of Solver in ifs.model

Methods in ifs.model with parameters of type Solver
`boolean` | `Model.init(Solver solver)` Model initialization
`boolean` | `ModelListener.init(Solver solver)` Notification that the model was initialized by the solver.

Uses of Solver in ifs.perturbations

Methods in ifs.perturbations with parameters of type Solver
`void` | `DefaultPerturbationsCounter.init(Solver solver)` Initialization
`void` | `PerturbationsCounter.init(Solver solver)` Initialization

Uses of Solver in ifs.solution

Methods in ifs.solution with parameters of type Solver
`void` | `Solution.init(Solver solver)` Initialization

Uses of Solver in ttsolver

Methods in ttsolver with parameters of type Solver
`void` | `Test.init(Solver solver)`

Uses of Solver in ttsolver.heuristics

Methods in ttsolver.heuristics with parameters of type Solver
`void` | `LectureSelection.init(Solver solver)`
`void` | `PlacementSelection.init(Solver solver)`

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

Copyright © 2005 Tomáš Müller