CLab# 1.0 API Documentation
Common.INITBDDNODES Field
Number of initial BDD nodes.
public const
Int32
INITBDDNODES = 1000000;
See Also
Common Class
|
CLab Namespace