createbddsystem.3alc - Man Page

#include "bdd101.h"
bddsystem ∗createbddsystem( ModelVar, ModelOper, MaxVar, MaxNode  )
  long   ModelVar;
  long   ModelOper;
  long   MaxVar;
  long   MaxNode;

ModelVar

Initial size of the hash table uses for a variable.

ModelOper

Size of the hash table uses as a cache.

MaxVar

Initial maximum number of variables.

MaxNode

Maximum nodes allowed.

createbddsystem creates and initializes a bdd system.

createbddsystem returns a pointer to the bdd system created.

"system model variable xxx error !"

"system model oper xxx error !"

"variable xxx out of range error !"

#include "bdd101.h"
   bddsystem ∗BddSystem;
   BddSystem = createbddsystem( 100, 1000, 100, 50000 );
   ...
   destroybddsystem( BddSystem );

bdd(1) resetbddsytem(3), destroybddsytem(3).