CREATEBDDCIRCUIT(3)

📦 version 5.1.1-unstable-2025-02, in nixos 26.05, nixpkgs unstable

💅 CREATEBDDCIRCUIT(3) — like, the BDD FUNCTIONS girlies

okay so bestie, welcome to section 3 of the manual (that's the library-functions section, iykyk), and today's main character is createbddcircuit 💖

✨ NAME ✨

createbddcircuit — creates a bdd circuit. that's it, that's the vibe 🎀

🌸 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 🇫🇷✨ literally iconic.

like, reach out, they're lovely 🫶

🦋 SYNOPSIS 🦋

#include "bdd101.h"
  bddcircuit *createbddcircuit( Name, NumberIn, NumberOut, BddSystem )
  char      *Name;
  long       NumberIn;
  long       NumberOut;
  bddsystem *BddSystem;

💜 PARAMETERS 💜

  • Name — the name of the bdd circuit. give her a cute name, she deserves it 💫
  • NumberIn — how many inputs. the more the merrier ngl.
  • NumberOut — how many outputs. equally important, no cap.
  • BddSystem — the bdd system to work on. this is her workplace, her office, her whole world 🏢

💅 DESCRIPTION 💅

okay so here's the tea: createbddcircuit creates a bdd circuit with the name Name, with NumberIn inputs, and NumberOut outputs. like, she's born fully formed, slay 👑

this bdd circuit will use the bdd system BddSystem. and here's the important bit — if a null pointer is given, the default bdd system is used. so like, if you don't wanna pick, she picks for you. lowkey considerate 🥺

🔥 RETURN VALUE 🔥

createbddcircuit returns a pointer to the bdd circuit created. that's your new baby, go take care of her 💖

🌈 EXAMPLE 🌈

#include "bdd101.h"
   bddsystem  *BddSystem;
   bddcircuit *BddCircuit;
   BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
   BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
   ...
   destroybddsystem( (bddsystem *)0 );
   destroybddcircuit( (bddcircuit *)0 );

look at her go 😭 "hello_world" with 10 inputs and 10 outputs — a classic, a legend, an icon 🎀 and yes bestie, note the cleanup at the end: destroy your stuff, don't leave her hanging 🙈

🧚 SEE ALSO 🧚

💀 BUG REPORT 💀

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

we need your feedback to improve documentation and tools. fr fr, they're literally asking — send the bug reports, be the hero 🫶✨

bestie reminder: this page is under heavy development energy, so read carefully and report anything cursed 👀

that's the whole page, mwah 💋 — brought to you by ASIM/LIP6, dated October 1, 1997 (yeah, she's vintage, and she still ate 💅⭐)

📦 where this page comes from