Uses of Package
ifs.solver

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

Classes in ifs.solver used by ifs.dbt
Solver
          IFS Solver.
SolverListener
          IFS Solver Listener.
 

Classes in ifs.solver used by ifs.extension
Solver
          IFS Solver.
 

Classes in ifs.solver used by ifs.heuristics
Solver
          IFS Solver.
 

Classes in ifs.solver used by ifs.model
Solver
          IFS Solver.
 

Classes in ifs.solver used by ifs.perturbations
Solver
          IFS Solver.
 

Classes in ifs.solver used by ifs.solution
Solver
          IFS Solver.
 

Classes in ifs.solver used by ifs.solver
Solver.SolverThread
          Solver thread
SolverListener
          IFS Solver Listener.
 

Classes in ifs.solver used by ttsolver
Solver
          IFS Solver.
 

Classes in ifs.solver used by ttsolver.heuristics
Solver
          IFS Solver.
 



Copyright © 2005 Tomáš Müller