CLab# 1.0 API Documentation

ValidAssignmentData.Dom Property

Gets the list of domain size for each variable.

public  Dom {get;}

See Also

ValidAssignmentData Class | CLab.BDD Namespace