DELBDDCIRCUITOUT(3)

💅 delbddcircuitout — the manual page, but make it make sense

okay so bestie, this one lives in the BDD FUNCTIONS section of the manual (that's the (3) part, iykyk — library functions, not commands you type in the shell 🐚✨).

---

🌸 NAME 🌸

delbddcircuitout — deletes an output in a bdd circuit. that's it, that's the whole job, and it does it slayfully 💅

---

🧚 ORIGIN 🧚

so this software belongs to the ALLIANCE CAD SYSTEM, which was developed by the ASIM team at the LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France 🇫🇷🥖 (yes, that Paris).

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

like, actual real URLs, not a vibe — go look 👀

---

✨ SYNOPSIS ✨

#include "bdd101.h"
int delbddcircuitout( BddCircuit, OutputName )
  bddcircuit ∗BddCircuit;
  char       ∗OutputName;

the way you gotta #include "bdd101.h" first or nothing works, fr fr 🫶

---

🎀 PARAMETERS 🎀

• BddCircuit — the bdd circuit. the main character, the one we're operating on 👑
• OutputName — the name of the output to delete. like, the actual name, as a string 🍓

---

💖 DESCRIPTION 💖

delbddcircuitout deletes the output OutputName in the bdd circuit BddCircuit. simple as that, no cap.

if a null pointer is given, the default bdd circuit is used — so you can absolutely just pass a null pointer and let the library pick for you, iconic behaviour honestly 🙈.

and here's the spicy detail: if the output OutputName actually exists, the number of external reference of the output node is decremented. so it's not just "poof, gone" — there's real bookkeeping happening behind the scenes 📚✨

---

🔥 RETURN VALUE 🔥

delbddcircuitout returns 1 if the output OutputName exist, 0 otherwise.

so 1 = found and handled, 0 = not a thing, sorry bestie 😭💀

---

🌈 EXAMPLE 🌈

#include "bdd101.h"
   bddsystem  ∗BddSystem;
   bddcircuit ∗BddCircuit;
   bddnode    ∗BddNode;
   BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
   BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
   ...
   addbddcircuitout( (bddcircuit ∗)0, "Out0", BddNode );
   ...
   delbddcircuitout( (bddcircuit ∗)0, "Out0" );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

notice the ... bits — that's where the real work happens, we're just showing the setup and the teardown 🎬 and yeah, notice "hello_world" because even C programmers have a sense of humour 💀

---

🦋 SEE ALSO 🦋

• bdd(1)
• searchbddcircuitout(3)
• addbddcircuitout(3)

go read those next, they're the supporting cast bestie 📖💜

---

💀 BUG REPORT 💀

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

we need your feedback to improve documentation and tools. like genuinely — if something's weird, tell them!! your girl cannot fix what she doesn't know about 🙏✨

ngl, "under development" means exactly what you think it means — keep that in mind before you trust it in prod 🫠

---

and that's the whole page!! this one came from ASIM/LIP6, dated October 1, 1997, and you can find it filed under DELBDDCIRCUITOUT(3) in the manual. mwah 💋🎀 go delete some outputs responsibly, bestie 🫶