|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Class Summary | |
|---|---|
| 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. |
Dynamic backtracking extension of IFS solver
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||