Lines Matching refs:number
154 number of nodes in the nodetable and cachesize is the fixed size of
160 The initial number of nodes is not critical for any bdd operation
167 [setvarnum num] is used to define the number of variables used in
169 increase the number of variables. num is the number of variables to
347 produced : total number of new nodes ever produced.
348 nodenum : currently allocated number of bdd nodes.
349 maxnodenum : user defined maximum number of bdd nodes.
350 freenodes : number of currently free nodes.
351 minfreenodes : minimum number of nodes that should be left after
353 varnum : number of defined bdd variables,
354 cachesize : number of entries in the internal caches.
355 gbcnum : number of garbage collection done in the bdd library.