Casper.Algorithm Namespace
Namespace hierarchy
Classes
Class |
Description |
Consistent
|
CaSPers default implementation of the IConsistent interface |
GeneralizedLookahead
|
Implementation of "Generalized lookahead" with "Select value forward checking". |
LookAheadVarDom
|
The class which stores the information of a variable and its domaine values. Used by "GeneralizedLookahead". |
LookaheadVariables
|
Class storing the variables and domaines used by "GenerelizedLookahed". |
RemovedValues
|
Class for keeping track of which variable removed which values from the domain of this variable. This is used under resetting the variable's domain when backtracking, so that we are sure we only reset the domain to the values removed by the |