ADDBDDNODE(3)

💖 addbddnode 💖 — a BDD FUNCTIONS moment from the ADDBDDNODE(3) manual, bestie

okay so like, this is the page for addbddnode, and it's lowkey iconic for anyone building bdd stuff. Let's get into it ✨

✨ NAME ✨

addbddnode — adds a new bdd node in the bdd system.

🌈 ORIGIN 🌈

This software belongs to the ALLIANCE CAD SYSTEM, developed by the ASIM team at 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

🦋 SYNOPSIS 🦋

#include "bdd101.h"
bddnode ∗addbddnode( BddSystem, Index, High, Low  )
  bddsystem ∗BddSystem;
  bddindex   Index;
  bddnode   ∗High;
  bddnode   ∗Low;

🎀 PARAMETERS 🎀

• BddSystem — the bdd system. yes bestie, the whole system.
• Index — the bdd index.
• High — the bdd high pointer.
• Low — the bdd low pointer.

💅 DESCRIPTION 💅

So addbddnode adds a new node with the index Index, High as the HIGH pointer, and Low as the LOW pointer in the bdd system BddSystem. It's giving "new node, who dis" energy 💖

If that bdd node already exists, addbddnode returns its pointer instead. No duplicate drama, no cap.

If a null pointer is given, the default bdd system is used. Slay, defaults. 🫶

🔥 RETURN VALUE 🔥

addbddnode returns a pointer to the resulting bdd node, with its number of external reference incremented. That's the whole return-value vibe. 👑

💀 ERRORS 💀

• "index xxx out of range" — the Index parameter must be a valid index. fr fr, it has to be valid.

🌸 EXAMPLE 🌸

Here's the example in all its exact, character-for-character glory, bestie:

#include "bdd101.h"
   bddsystem  ∗BddSystem;
   bddcircuit ∗BddCircuit;
   bddnode    ∗BddNode;
   chain_list ∗Expr;
   BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
   BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
   BddNode = addbddcircuitin( (bddcircuit ∗)0, "i0", 0, BDD_IN_MODE_FIRST );
   BddNode = addbddnode( (bddsystem ∗)0, BddNode->INDEX, BddNode->LOW, BddNode->HIGH );
   Expr = convertbddcircuitabl( (bddcircuit ∗)0, BddNode );
   /* displays (not i0) */
   viewablexpr( Expr, ABL_VIEW_VHDL );
   freeablexpr( Expr );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

👑 SEE ALSO 👑

• bdd(1) — the only see-also on this page, and it's serving.

🐛 BUG REPORT 🐛

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

We need your feedback to improve documentation and tools. 🫶

xoxo, footer vibes: ASIM/LIP6 · October 1, 1997 · ADDBDDNODE(3) — that's the sign-off, bestie 💅