ADDBDDCIRCUITOUT(3)

✨ ADDBDDCIRCUITOUT ✨

ok so bestie, this one's a 3 manpage from the BDD FUNCTIONS section and it's literally called addbddcircuitout — it adds an output in a bdd circuit 💅 buckle up, it's short and sweet but every crumb matters.

---

🌸 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 🥐

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

like, actual French academics built this. main character energy fr fr 🇫🇷

---

🎀 SYNOPSIS 🎀

#include "bdd101.h"
bddnode ∗addbddcircuitout( BddCircuit, OutputName, BddNode )
  bddcircuit ∗BddCircuit;
  char       ∗OutputName;
  bddnode    ∗BddNode;

---

💖 PARAMETERS 💖

• BddCircuit — the bdd circuit. yes queen, the whole circuit.
• OutputName — the name of the output 🏷️
• BddNode — the bdd node of the output.

---

🦋 DESCRIPTION 🦋

So addbddcircuitout adds BddNode as an output named OutputName inside the bdd circuit BddCircuit ✨

If a null pointer is given, the default bdd circuit is used — no cap, it just knows which one you meant 🙈

And here's the plot twist: if the output OutputName exists already, the number of external reference of the old node gets decremented, and the output node is replaced by the new one. it's giving glow-up, it's giving replacement arc 💅 the old one really said "not me being dereferenced".

---

👑 RETURN VALUE 👑

addbddcircuitout returns the node BddNode with its number of external reference incremented 🎉 like, it hands you back your node but with extra clout.

---

🌈 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 );
   ...
   BddNode = searchbddcircuitout( (bddcircuit ∗)0, "Out0" );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

see how it passes (bddcircuit ∗)0 and just vibes with the default circuit? iconic behaviour honestly 😌

---

⭐ SEE ALSO ⭐

• bdd(1)
• searchbddcircuitout(3)

---

💀 BUG REPORT 💀

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

We need your feedback to improve documentation and tools 🫶 (yes they're literally asking, so go tell them)

---

mwah 💖 that's the whole page, bestie. this came from ASIM/LIP6, dated October 1, 1997 — a literal 90s banger that's still serving. go forth and add those outputs ✨🎀🦋