CLab# 1.0 API Documentation

Common Fields

The fields of the Common class are listed below. For a complete list of Common class members, see the Common Members topic.

Public Static Fields

BDDINITDBCACHE The initial cache used by BDD.
BDDMAXINCREASE The max increase of BDD.
INITBDDNODES Number of initial BDD nodes.

See Also

Common Class | CLab Namespace