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