Makes boolean vectors of variables.

Parameters

Int32

The next BDD variable.

Int32

The variable number.

Return Value

List representing the boolean vector.

See Also

BDDLayout Class | CLab.BDD Namespace