Checks each domain value for the future variables domains in forwardCheck Here we do the actual consistency check with the provided consistency implementation.
The domain size of "nextVar" after consistency check
Exception Type | Condition |
---|---|
CasperException |