Calculates a BDD representing the less-than operation on two 2-complementary BDD representations.

Parameters

List<T>

The left 2-complementary BDD representation.

List<T>

The right 2-complementary BDD representation.

Return Value

A BDD representing the result.

See Also

BDDSpace Class | CLab.BDD Namespace