GETBDDNODESUPPORT(3)

💅 GETBDDNODESUPPORT(3) — BDD FUNCTIONS

okay bestie, gather round, we're reading a GETBDDNODESUPPORT(3) man page together and honestly? it's giving "niche but iconic." no cap. 🎀

---

✨ NAME ✨

getbddnodesupport — gives the variable support of a bdd node.

like, it hands you the variables your bdd node actually depends on. that's the whole vibe. 🦋

---

🌸 ORIGIN 🌸

bestie this software is old old. it belongs to the ALLIANCE CAD SYSTEM, developed by the ASIM team at the LIP6 laboratory of Universit� Pierre et Marie CURIE, in Paris, France. 🇫🇷✨

the deets, exactly as they were left for us:

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

---

💖 SYNOPSIS 💖

#include "bdd101.h"
void ∗getbddnodesupport( BddSystem, BddNode, Mode )
  bddsystem ∗BddSystem;
  bddnode   ∗BddNode;
  int        Mode;

that's it. that's the whole call. short and slay. 💅

---

🎀 PARAMETERS 🎀

• BddSystem — the bdd system. your whole little bdd universe lives here.
• BddNode — the bdd node. the one we're snooping on to find its support.
• Mode — the type of support. this is the personality switch, lowkey.

---

🫶 DESCRIPTION 🫶

so getbddnodesupport gives the support of the bdd node BddNode in the bdd system BddSystem. that's the main character move. 👑

if you pass a null pointer, no stress — the default bdd system gets used instead. comfy.

now here's the part you gotta remember: if Mode is BDD_SUPPORT_CHAIN, the support comes back to you as a chain_list ✨ else it comes back as a ptype_list. two different lewks, same support, iykyk.

⚠️ important, bestie: the support must be freed using the freechain or freeptype functions. do NOT leave it hanging, that's not cute. memory leaks are the opposite of slay. 💀

---

⭐ RETURN VALUE ⭐

getablexprsupport returns a pointer to a chain_list or a ptype_list. (yes, the page really does say getablexprsupport there — we are reporting the facts exactly as they were handed to us, no editing. 🙈 ngl it's a typo era, but it's their typo era.)

---

🌈 EXAMPLE 🌈

here's a full lil demo, verbatim, because copying code is the one place we do NOT freestyle:

#include "bdd101.h"
   bddsystem  ∗BddSystem;
   bddcircuit ∗BddCircuit;
   bddnode    ∗BddNode;
   chain_list ∗Expr;
   chain_list ∗Support;
   chain_list ∗ScanSupport;
   bddindex       Index;
   BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
   BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
   Expr = createablbinexpr( ABL_AND,
                            createablatom( "i0" ),
                            createablatom( "i1" ) );
   BddNode = addbddcircuitabl( BddCircuit, Expr );
   freeablexpr( Expr );
   Support = getablbddnodesupport( (bddsystem ∗0), BddNode, BDD_SUPPORT_CHAIN );
   for ( ScanSupport  = Support;
         ScanSupport != (chain_list ∗)0;
         ScanSupport  = ScanSupport->NEXT )
   {
     Index = (bddnode ∗)ScanSupport->INDEX;
     printf( "%s ", BddCircuit->NAME_IN[ Index - BDD_INDEX_MIN ] );
   }
   freechain( Support );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

notice how it calls getablbddnodesupport — again, exactly what the page says, no touchy. ✋ and see that freechain( Support ); at the end? that's the cleanup we were literally just yelling about. ate. 💜

---

🧚 SEE ALSO 🧚

• bdd(1)

---

🔥 BUG REPORT 🔥

heads up from the team:

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

we need your feedback to improve documentation and tools. so like, if something's off, tell them — feedback is a love language fr fr. 🫶

---

and that's the whole page, bestie! source/version and date, as promised: this one's the ASIM/LIP6 page, dated October 1, 1997, and yes it's still serving looks. ✨🎀🦋