Uses of Interface
ifs.solver.SolverListener

Packages that use SolverListener

ifs.dbt	Dynamic backtracking extension of IFS solver
ifs.solver	IFS Solver

Uses of SolverListener in ifs.dbt

Classes in ifs.dbt that implement SolverListener

class

DbtPropagation Maintenance of arc consistency in dynamic backtracking.

Uses of SolverListener in ifs.solver

Methods in ifs.solver with parameters of type SolverListener

void	Solver.addSolverListener(SolverListener listener) Adds a solver listener
void	Solver.removeSolverListener(SolverListener listener) Removes a solver listener