SEARCHBDDCIRCUITIN(3)

✨ SEARCHBDDCIRCUITIN(3) — the searchbddcircuitin glow-up ✨

okay so this one lives in the BDD FUNCTIONS manual, and bestie, it's literally "find me an input in a bdd circuit" and nothing else. let's go 💅

---

🌸 NAME 🌸

searchbddcircuitin — searches an input in a bdd circuit. that's it, that's the whole job. iconic minimalism. 🎀

---

💖 ORIGIN 💖

so 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. très chic 🇫🇷✨

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

like, if you need to reach them, those are the coordinates. 🫶

---

🦋 SYNOPSIS 🦋

#include "bdd101.h"
  bddnode ∗searchbddcircuitin( BddCircuit, InputName )
  bddcircuit ∗BddCircuit;
  char       ∗InputName;

yes the asterisks are that fancy ∗ character, no i didn't do it, that's just how it is, don't come for me 😭

---

🎀 PARAMETERS 🎀

• BddCircuit — the bdd circuit. the one you're snooping around in. 👀
• InputName — the name of the input to look for. the thing you're hunting, fr fr. 🔍

---

💜 DESCRIPTION 💜

searchbddcircuitin searches the input InputName in the bdd circuit BddCircuit.

and here's the little plot twist 👑: if you hand it a null pointer, it just uses the default bdd circuit. very giving "don't worry bestie, i got a backup" energy. default behavior, no cap. ✨

---

🌈 RETURN VALUE 🌈

searchbddcircuitin returns the node corresponding to the input InputName — or a null pointer if no such input is found. 😭 so like, always vibe check your return value, okay? null pointer means "girl, that input does not exist here."

---

🔥 EXAMPLE 🔥

here's the whole thing in action, copy-paste ready, character for character:

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

see how it creates the system, creates the circuit "hello_world", adds input "i0" with BDD_IN_MODE_FIRST, then goes a-hunting for "i0"? and then cleans up after itself like a responsible main character. we love to see it 🧚✨

---

🍓 SEE ALSO 🍓

• bdd(1)
• addbddcircuitin(3)

go read those too, 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.

so yeah — it's a work in progress, and they genuinely want your feedback, bestie. don't be shy. 🙈

---

okay that's the page!! and a lil cute sign-off for you: this was ASIM/LIP6, dated October 1, 1997, and the manual page is SEARCHBDDCIRCUITIN(3) — vintage but still slaying 💖⭐👑

bye bestie, go find those inputs 🎀