Initializes the bdd package. This function initiates the bdd package and must be called before any bdd operations are done. The argument nodesize is the initial number of nodes in the nodetable and cachesize is the fixed size of the internal caches. Typical values for nodesize are 10000 nodes for small test examples and up to 1000000 nodes for large examples. A cache size of 10000 seems to work good even for large examples, but lesser values should do it for smaller examples. The number of cache entries can also be set to depend on the size of the nodetable using a call to bdd_setcacheratio. The initial number of nodes is not critical for any bdd operation as the table will be resized whenever there are to few nodes left after a garbage collection. But it does have some impact on the efficency of the operations.
|
1.5.1