Casper Class Library

GeneralizedLookahead Methods

The methods of the GeneralizedLookahead class are listed below. For a complete list of GeneralizedLookahead class members, see the GeneralizedLookahead Members topic.

Public Instance Methods

BacktrackDomains This method backtracks the changes the variable "villain" executed on the other variables' domains.
Equals (inherited from Object)Determines whether the specified Object is equal to the current Object.
ForwardCheck Loops through future variables with respect to the current variable. This method checks if one of the future variables' domains is empty with the current assignment.
GetHashCode (inherited from Object)Serves as a hash function for a particular type. GetHashCode is suitable for use in hashing algorithms and data structures like a hash table.
GetType (inherited from Object)Gets the Type of the current instance.
LookAhead The Generalized Lookahead routine from Dechter page 133
MakeLookAheadVarDoms Method for making LookAheadVar objects from CasperVarDom objects, for internal use in this class. Different variable orderings can be made with the constraint graph.
PruneNextDomain Checks each domain value for the future variables domains in forwardCheck Here we do the actual consistency check with the provided consistency implementation.
Remove Updates the AllRemovedValues-structure with the removed value of variable "victim" caused by variable "villain".
SelectValue Implementation of Select Value Forward Checking from Dechter page 134 Internal method used by the LookAhead method
ToString (inherited from Object)Returns a String that represents the current Object.

Protected Instance Methods

Finalize (inherited from Object)Allows an Object to attempt to free resources and perform other cleanup operations before the Object is reclaimed by garbage collection.
MemberwiseClone (inherited from Object)Creates a shallow copy of the current Object.

See Also

GeneralizedLookahead Class | Casper.Algorithm Namespace