CLab# 1.0 API Documentation

BDDSpace.MkVar Method 

Makes a 2-complementary BDD representation of the boolan vector representing the bdd variable.

public List<T> MkVar(
   List<T> Bddvar
);

Parameters

List<T>
The boolean vector representing the bdd variable.

Return Value

The 2-complementary BDD representation.

See Also

BDDSpace Class | CLab.BDD Namespace