CLab# 1.0 API Documentation

ValidAssignmentData.CpVarNum Property

Gets the number of CP variables.

public  CpVarNum {get;}

See Also

ValidAssignmentData Class | CLab.BDD Namespace