Rechercher une page de manuel
createbddsystem
Langue: en
Version: October 1, 1997 (fedora - 05/07/09)
Section: 3 (Bibliothèques de fonctions)
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.
- The ModelOper parameter must be a positive value.
- 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
Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre