Extends the specified "x" with "k" elements.

Parameters

List<T>

The 2-complementary BDD representation to be extended.

Int32

Number of elements to extend with.

See Also

BDDSpace Class | CLab.BDD Namespace