SEARCHBDDCIRCUITOUT(3)

💖 SEARCHBDDCIRCUITOUT(3) 💖

okay bestie so this one is searchbddcircuitout and it lives in section 3 of the manual, under the BDD FUNCTIONS umbrella 🦋 — it's a lil function that goes looking for an output inside a bdd circuit. slay.

---

✨ ORIGIN ✨

so this software? it belongs to the ALLIANCE CAD SYSTEM, which is the whole vibe 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, iconic lineage. no cap.

---

🌸 SYNOPSIS 🌸

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

---

🎀 PARAMETERS 🎀

• BddCircuit — the bdd circuit, bestie. that's the one we're digging around in.
• OutputName — the name of the output you're looking for. literally just the name. 👑

---

💅 DESCRIPTION 💅

searchbddcircuitout searches for the output OutputName inside the bdd circuit BddCircuit. that's the whole job. it's giving detective energy 🔍

and here's the cute part: if you hand it a null pointer, it just uses the default bdd circuit instead. so you can be lazy and it'll still catch you. periodt. 💖

---

🔥 RETURN VALUE 🔥

it returns the node corresponding to the output OutputName — or a null pointer if no such output is found 😭 no output, no node, that's the deal.

---

✨ 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 adds "Out0" and then goes and finds "Out0"? that's the circle of life 🦋 main character energy fr fr.

---

🫶 SEE ALSO 🫶

• bdd(1)
• addbddcircuitout(3)

iykyk 👑

---

💀 BUG REPORT 💀

this tool is under development at the ASIM department of the LIP6 laboratory. (yes, still. it's giving eternal beta 🙈)

and the team needs your feedback to improve the documentation and the tools — so like, tell them things. they're asking. nicely. 🥺

---

and that's the whole page bestie!! this manual page came from ASIM/LIP6, dated October 1, 1997 ⭐ — yeah it's old but it's still serving looks. go find those outputs. mwah 💋🎀