CLab# 1.0 API Documentation

Clab.Initbddnodes Property

Gets or sets the initial number of bdd nodes.

public  Initbddnodes {get; set;}

Property Value

The initbddnodes.

See Also

Clab Class | CLab Namespace