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)