| CLab# 1.0 API Documentation |
|
ClabBDD.UpdateResultBddExpr Method
Updates the result BDD with the results from an extre expression.
public Bdd UpdateResultBddExpr(
Expression extraExpr);
Parameters
-
Expression
- The extra expression.
Return Value
The new result BDD.
Exceptions
See Also
ClabBDD Class | CLab.BDD Namespace