ADDBDDNODELIST(3)

💖 ADDBDDNODELIST 💖 — the bdd functions, section 3 of the manual

okay so bestie, pull up a chair, we're doing addbddnodelist today and honestly? it's a lil cutie. it lives in the BDD FUNCTIONS corner of the manual (section 3, iykyk) and it does exactly one thing but it does it so well.

---

✨ NAME ✨

addbddnodelist — adds a node in a chain_list.

like. that's it. that's the job. adding a node. to a list. slay.

---

🌸 ORIGIN 🌸

This software belongs to the ALLIANCE CAD SYSTEM, developed by the ASIM team at the LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France. 🇫🇷 (oui oui, iconic)

• Web: http://asim.lip6.fr/recherche/alliance/
• E-mail: alliance-users@asim.lip6.fr

---

🎀 SYNOPSIS 🎀

#include "bdd101.h"
chain_list ∗addbddnodelist( BddSystem, HeadList, BddNode )
  bddsystem  ∗BddSystem;
  chain_list ∗HeadList;
  bddnode    ∗BddNode;

---

💅 PARAMETERS 💅

• BddSystem — the bdd system. it's giving "the whole universe this operation lives in".
• HeadList — the head of the chain_list. the front of the line. the main character of the list, literally.
• BddNode — the bdd node to add. the new girl joining the group chat.

---

🦋 DESCRIPTION 🦋

So here's the tea: addbddnodelist adds the node BddNode in the ordered list HeadList, inside the bdd system BddSystem.

If a null pointer is given, the default bdd system is used. no biggie, it just picks the default for you. 💁

And listen — the number of external reference of BddNode gets incremented. so it's not just joining the list, it's getting its ref count bumped up too. it's being seen. it's being valued. we love that for it. ✨

---

👑 RETURN VALUE 👑

addbddnodelist returns the new head of the list.

that's the whole answer. new head. periodt. 💅

---

🌈 EXAMPLE 🌈

here's the whole vibe in code form, no cap:

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

and yes, the comment in there says it all: it displays (i0 and i1 and i2). we're building little ANDs, bestie. 🍓

---

🫶 SEE ALSO 🫶

• bdd(1)

---

😭 BUG REPORT 😭

This tool is under development at the ASIM department of the LIP6 laboratory.

We need your feedback to improve documentation and tools. fr fr, they're asking nicely, please tell them if something's off. 🙈

---

okay that's the whole page!! written by the LIP6 / ASIM crew, dated October 1, 1997 (a vintage icon, honestly 💜) — mwah, go add some nodes bestie 💖✨