GETBDDNODESUPPORT(3)

✨ GETBDDNODESUPPORT(3) ✨

okay bestie, buckle up, this one lives in the BDD FUNCTIONS section of the manual (that's manual section 3, the library-call girlies 💅) and it's literally the function that tells you which variables actually matter to a bdd node. no cap.

---

🌸 NAME 🌸

getbddnodesupport — gives the variable support of a bdd node. that's it, that's the whole vibe. she serves support. 🫶

---

🌈 ORIGIN 🌈

this software belongs to the ALLIANCE CAD SYSTEM, developed by the ASIM team over at the LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France 🇫🇷✨ (yes, the Pierre and Marie Curie, iconic behavior).

• 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;

---

💖 PARAMETERS 💖

• BddSystem — the bdd system. the whole little universe this node lives in.
• BddNode — the bdd node. the main character we're investigating.
• Mode — the type of support. literally the what flavor of support do you want dial.

---

🦋 DESCRIPTION 🦋

getbddnodesupport gives the support of the bdd node BddNode in the bdd system BddSystem. it's giving "who are your people, node?" energy.

if a null pointer is given, the default bdd system is used — so you can be lazy and she'll still catch you 💜.

if Mode is BDD_SUPPORT_CHAIN the support is returned using chain_list, else it is returned using ptype_list. two different containers, two different vibes, pick your fighter.

⚠️ important bestie: the support must be freed using the freechain or freeptype functions. do NOT ghost the memory, that's a leak and the vibe check will fail 😭

---

⭐ RETURN VALUE ⭐

getablexprsupport returns a pointer to a chain_list or a ptype_list. (yes the manual says getablexprsupport, we don't make the rules, we just report them faithfully 🙈)

---

🔥 EXAMPLE 🔥

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

look at her go, walking the chain, printing names, cleaning up after herself. she's so organized it's lowkey inspiring ✨

---

👑 SEE ALSO 👑

• bdd(1)

---

💀 BUG REPORT 💀

this tool is under development at the ASIM department of the LIP6 laboratory. they need your feedback to improve documentation and tools — so like, slide into their inbox, bestie, they're literally asking 📬

---

and that's the whole page, no notes, ate and left no crumbs 💅✨

this iconic little number is brought to you by ASIM/LIP6, dated October 1, 1997 — vintage but still slaying — and it lives in manual page GETBDDNODESUPPORT(3) 🎀🦋💖