CREATEBDDSYSTEM(3) BDD FUNCTIONS CREATEBDDSYSTEM(3) NAME createbddsystem - creates a bdd system. SYNOPSIS #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). ASIM/LIP6 October 1, 1997 CREATEBDDSYSTEM(3)
NAME | SYNOPSIS | PARAMETERS | DESCRIPTION | RETURN VALUE | ERRORS | EXAMPLE | SEE ALSO
Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=createbddsystem&sektion=3&manpath=FreeBSD+Ports+15.1.quarterly>