CLab# 1.0 API Documentation

BDDLayout.VariableNameToIndex Property

Gets the hash table mapping variable names to index.

public  VariableNameToIndex {get;}

See Also

BDDLayout Class | CLab.BDD Namespace