createbddsystem(3) - Linux man page

Name

createbddsystem - creates a bdd system.

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