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