CLab# 1.0 API Documentation

BDDSpace.Expr2BddVec Method

Compiles a expression into a "Bval" object.

public Bval Expr2BddVec(
Expression expression
);

Parameters

Expression: The expression to be compiled.

Return Value

Bval which represent valid solutions of the expression.

Exceptions

Exception Type	Condition
ClabInternalErrorException

See Also

BDDSpace Class | CLab.BDD Namespace