CLab# 1.0 API Documentation
BDDLayout.BddVarNum Property
Gets the number of BDD variables.
public
BddVarNum {get;}
Property Value
The BDD var num.
See Also
BDDLayout Class
|
CLab.BDD Namespace