CLab# 1.0 API Documentation

BDDType.DomainSize Property

Gets or sets the size of the domain.

public  DomainSize {get; set;}

Property Value

The size of the domain.

See Also

BDDType Class | CLab.BDD Namespace