createbddsystem

Langue: en

Version: October 1, 1997 (fedora - 05/07/09)

Section: 3 (Bibliothèques de fonctions)

Sommaire

NAME

createbddsystem - creates a bdd system.
man2html: unable to open or read file man1/alc_origin.1

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).
man2html: unable to open or read file man1/alc_bug_report.1