Package net.sf.cpsolver.ifs.dbt

Dynamic backtracking extension of IFS solver

See: Description

Class Summary

Class	Description
DbtPropagation<V extends Variable<V,T>,T extends Value<V,T>>	Maintenance of arc consistency in dynamic backtracking.
DbtValueSelection<V extends Variable<V,T>,T extends Value<V,T>>	Selection of a value for dynamic backtracking.
DbtVariableSelection<V extends Variable<V,T>,T extends Value<V,T>>	Selection of a variable for dynamic backtracking.

Package net.sf.cpsolver.ifs.dbt Description

Dynamic backtracking extension of IFS solver