addbddvarbefore(3) - Linux man page

Name

addbddvarbefore - adds a new variable, before an existing one.

Synopsys

#include "bdd101.h"
bddnode ∗addbddvarbefore( BddSystem )
  bddsystem ∗BddSystem;
  bddindex      Index;

Parameters

BddSystem
The bdd system.
Index
The bdd index of an existing variable.

Description

addbddvarbefore creates a new variable, with the number BddSystem->INDEX_TO_VAR[ Index ] in the bdd system BddSystem. If a null pointer is given, the default bdd system is used.

Return Value

addbddvarbefore returns a pointer to the bdd node of the new variable.

Errors

"no more variables, error !"

There is no variable number left.
"index xxx out of range, error !": The Index parameter must be a valid index.

Example

#include "bdd101.h"
   bddsystem  ∗BddSystem;
   bddnode    ∗BddNode1;
   bddnode    ∗BddNode2;
   BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
   BddNode1 = addbddvarfirst( (bddsystem ∗)0 );
   BddNode2 = addbddvarbefore( (bddsystem ∗)0, BddNode1->INDEX );
   destroybddsystem( (bddsystem ∗)0 );