This method runs the forward checking algorithm in the "GeneralizedLookahead" class. If the data field omitTestOnSIgnleDomains is set to true, one valued domain variables are jumped over.

Return Value

List of variables with valid domains or null if no solution exists

Exceptions

See Also

Csp Class | Casper Namespace