CLab# 1.0 API Documentation

BDDVariable.BddVar Property

Gets the BDD variable list.

public  BddVar {get;}

Property Value

The BDD variable list.

See Also

BDDVariable Class | CLab.BDD Namespace