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.
|