Calculates the result of the multiplication operation between two 2-complementary BDD representations.

Parameters

List<T>

A 2-complementary BDD representation.

List<T>

Another 2-complementary BDD representation.

Return Value

A 2-complementary BDD representation, representing the result.

See Also

BDDSpace Class | CLab.BDD Namespace