CLab# 1.0 API Documentation

BDDVariable Properties

The properties of the BDDVariable class are listed below. For a complete list of BDDVariable class members, see the BDDVariable Members topic.

Public Instance Properties

BddVar Gets the BDD variable list.
TypeIndex Gets the index of the belonging type.

See Also

BDDVariable Class | CLab.BDD Namespace