DELBDDCIRCUITOUT(3)

✨ DELBDDCIRCUITOUT(3) ✨

okay bestie, welcome to the BDD FUNCTIONS corner of the manual — this one's called delbddcircuitout and it's about to ✨ delete an output ✨ in a bdd circuit. yes, that's literally the whole plot. 💅

---

🌸 NAME 🌸

delbddcircuitout — deletes an output in a bdd circuit. that's it. that's the job. no cap. 🎀

---

🌈 ORIGIN 🌈

so this software? 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. 🇫🇷 iconic.

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

---

✨ SYNOPSIS ✨

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

---

🦋 PARAMETERS 🦋

• BddCircuit — the bdd circuit. the main character, if you will. 👑
• OutputName — the name of the output to delete. we're saying bye to it. 😭

---

💖 DESCRIPTION 💖

okay so, delbddcircuitout deletes the output OutputName in the bdd circuit BddCircuit. 🫶

• if a null pointer is given, the default bdd circuit is used. so you can just be like "idk, the usual one" and it'll handle it.
• if the output OutputName exists, the number of external reference of the output node is decremented. just one lil tick down. noted. 📉

---

⭐ RETURN VALUE ⭐

delbddcircuitout returns 1 if the output OutputName exist, 0 otherwise. so 1 = she's real, 0 = she never was. 💀

---

🌟 EXAMPLE 🌟

here's the vibe in code form, no edits, exactly as written:

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

see? you add "Out0", then you delete "Out0". we love a full circle moment. 🔥

---

🎀 SEE ALSO 🎀

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

go read those too, bestie, iykyk. 💜

---

💅 BUG REPORT 💅

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

We need your feedback to improve documentation and tools.

ok so real talk — if something's broken or the docs are giving nothing, tell them. they literally said they need your feedback. 🙈

---

ASIM/LIP6 · October 1, 1997 — yeah bestie, this page is vintage vintage, older than most of us, and it still ate. 🫶✨