CLab# 1.0 API Documentation |
|
BDDSpace.Bool2Integer Method
Converts the specified BDD "x" to a 2-complementary BDD representation.
public
List<T> Bool2Integer(
Bdd
x);
Parameters
-
Bdd
- The BDD.
Return Value
The 2-complementary representation.
See Also
BDDSpace Class | CLab.BDD Namespace