Casper Class Library

GeneralizedLookahead.PruneNextDomain Method 

Checks each domain value for the future variables domains in forwardCheck Here we do the actual consistency check with the provided consistency implementation.

public int PruneNextDomain(
   LookAheadVarDom currentVar,
   LookAheadVarDom nextVar
);

Parameters

LookAheadVarDom
Currently checked variable
LookAheadVarDom
The variable and domain the method runs consistency check on

Return Value

The domain size of "nextVar" after consistency check

Exceptions

Exception Type Condition
CasperException

See Also

GeneralizedLookahead Class | Casper.Algorithm Namespace