NAME

createbddsystem - creates a bdd system.

See the file buster/alliance/alc_origin.1.en.gz.

SYNOPSYS

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


  long   ModelVar;


  long   ModelOper;


  long   MaxVar;


  long   MaxNode;

PARAMETERS

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.

DESCRIPTION

createbddsystem creates and initializes a bdd system.

RETURN VALUE

createbddsystem returns a pointer to the bdd system created.

ERRORS

"system model variable xxx error !"

The ModelVar parameter must be a positive value.

"system model oper xxx error !"

The ModelOper parameter must be a positive value.

"variable xxx out of range error !"

The MaxVar parameter must be less than BDD_MAX_VAR.

EXAMPLE

#include "bdd101.h"


   bddsystem ∗BddSystem;


   BddSystem = createbddsystem( 100, 1000, 100, 50000 );


   ...


   destroybddsystem( BddSystem );