NAME

delbddnodelist - deletes a list of bdd nodes.

See the file buster/alliance/alc_origin.1.en.gz.

SYNOPSYS

#include "bdd101.h"
void delbddnodelist( BddSystem, HeadList )


  bddsystem  ∗BddSystem;


  chain_list ∗HeadList;

PARAMETERS

BddSystem

The bdd system.

HeadList

The head of the chain_list.

DESCRIPTION

delbddnodelist deletes all the bdd nodes of the list HeadList in the bdd system BddSystem. If a null pointer is given, the default bdd system is used. All the nodes have their external references decremented.

RETURN VALUE

delbddnodelist returns nothing.

EXAMPLE

#include "bdd101.h"


   bddsystem  ∗BddSystem;


   bddcircuit ∗BddCircuit;


   bddnode    ∗BddNode;


   chain_list ∗BddList;


   chain_list ∗Expr;


   BddSystem  = createbddsystem( 100, 1000, 100, 50000 );


   BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );


   BddList    = (chain_list ∗)0;


   BddList = addbddnodelist( (bddsystem ∗)0, BddList,


                             addbddcircuitin( (bddcircuit ∗)0,


                                              "i0", 0, BDD_IN_MODE_FIRST ) );


   BddList = addbddnodelist( (bddsystem ∗)0, BddList,


                              addbddcircuitin( (bddcircuit ∗)0,


                                               "i1", 0, BDD_IN_MODE_FIRST );


   BddList = addbddnodelist( (bddsystem ∗)0, BddList,


                             addbddcircuitin( (bddcircuit ∗)0,


                                              "i2", 0, BDD_IN_MODE_FIRST );


   BddNode = applybddnodelist( (bddsystem ∗)0, ABL_AND, BddList );


   delbddnodelist( (bddsystem ∗)0, BddList );


   Expr = convertbddcircuitabl( (bddcircuit ∗)0, BddNode );


   /* displays (i0 and i1 and i2) */


   viewablexpr( Expr, ABL_VIEW_VHDL );


   freeablexpr( Expr );


   destroybddsystem( (bddsystem ∗)0 );


   destroybddcircuit( (bddcircuit ∗)0 );

SEE ALSO

bdd(1)

See the file buster/alliance/alc_bug_report.1.en.gz.