CLab# 1.0 API Documentation |
|
BDDSpace.Abs Method
Calculates the absolute value of a 2-complementary BDD representation.
Parameters
-
List<T>
- The 2-complementary BDD representation.
Return Value
A 2-complementary BDD representation, representing the result.
See Also
BDDSpace Class | CLab.BDD Namespace