CLab# 1.0 API Documentation

BDDSpace.MkSameSize Method 

Extends the smallest of the specified "x" or "y", so the lists gets equal length. Modifies one of them, if they have unequal lenght.

public void MkSameSize(
   List<T> x,
   List<T> y
);

Parameters

List<T>
2-complementary representation.
List<T>
2-complementary representation.

See Also

BDDSpace Class | CLab.BDD Namespace