Calculates the number of BDD variables needed, using the domain size.

Parameters

Int32

Size of the domain.

Return Value

The number of BDD variables needed.

See Also

BDDType Class | CLab.BDD Namespace