CLab# 1.0 API Documentation

ClabCSP.AddExtraRule Method 

Adds an extra rule to the problem. Does not run a search for valid solutions, this has to be done, to get the reduced valid domaines after adding the new expression.

public void AddExtraRule(
   Expression newExpr
);

Parameters

Expression
The new expression.

Exceptions

Exception Type Condition
ClabException  

See Also

ClabCSP Class | CLab.CSP Namespace