Scroll to navigation

CREATEBDDSYSTEM(3) BDD FUNCTIONS CREATEBDDSYSTEM(3)

NAME

createbddsystem - creates a bdd system.

ORIGIN

This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France.

Web : http://asim.lip6.fr/recherche/alliance/
E-mail : alliance-users@asim.lip6.fr

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 );

SEE ALSO

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

BUG REPORT

This tool is under development at the ASIM department of the LIP6 laboratory.
We need your feedback to improve documentation and tools.

October 1, 1997 ASIM/LIP6