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

Parameters

List<T>

2-complementary BDD representation of the numerator.

List<T>

2-complementary BDD representation of the denominator.

Return Value

A 2-complementary BDD representation, representing the result.

See Also

BDDSpace Class | CLab.BDD Namespace