addbddvarafter(3)
adds a new variable, after an existing one.
SYNOPSYS
#include "bdd101.h"
bddnode *addbddvarafter( BddSystem )
bddsystem *BddSystem;
bddindex Index;
PARAMETERS
- BddSystem
-
The bdd system.
- Index
-
The bdd index of an existing variable.
DESCRIPTION
addbddvarafter creates a new variable, with the number
BddSystem->INDEX_TO_VAR[ Index ] + 1
in the bdd system BddSystem.
If a null pointer is given, the default bdd system is used.
RETURN VALUE
addbddvarafter 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 = addbddvarafter( (bddsystem *)0, BddNode1->INDEX );
destroybddsystem( (bddsystem *)0 );