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