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