CLab# 1.0 API Documentation |
|
BDDSpace.MkVar Method
Makes a 2-complementary BDD representation of the boolan vector representing the bdd variable.
Parameters
-
List<T>
- The boolean vector representing the bdd variable.
Return Value
The 2-complementary BDD representation.
See Also
BDDSpace Class | CLab.BDD Namespace