COMPOSEBDDNODE(3)

✨ NAME ✨

Ok bestie, this is the manual page for composebddnode(3) from BDD FUNCTIONS — the one and only. The function composebddnode substitutes a variable by a bdd in another bdd. That's the whole vibe, no cap. 💖

🌸 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 ∗composebddnode( BddSystem, BddNode, Variable, BddSubst )
  bddsystem ∗BddSystem;
  bddnode   ∗BddNode;
  bddvar     Variable;
  bddnode   ∗BddSubst;

🎀 PARAMETERS 🎀

• BddSystem — the bdd system. main character energy, obviously.
• BddNode — the bdd node.
• Variable — the variable to find. keep your eyes peeled.
• BddSubst — the bdd to substitute with.

💜 DESCRIPTION 💜

So composebddnode substitutes all the occurency of the variable Variable in the bdd node BddNode by the bdd node BddSubst, in the bdd system BddSystem. If a null pointer is given, the default bdd system is used. Slay. ✨

⭐ RETURN VALUE ⭐

composebddnode returns the resulting bdd node. That's it, that's the tea. 💅

🔥 ERRORS 🔥

"variable xxx out of range, error !" — The Variable parameter must be less or equal to the BddSystem->NUMBER_VAR field. So yeah, keep it in range or the vibe check fails. 😭

🌈 EXAMPLE 🌈

Ok this example is a whole little C moment — copy it exactly, bestie:

#include "bdd101.h"
   bddsystem  ∗BddSystem;
   bddcircuit ∗BddCircuit;
   bddnode    ∗BddVariable;
   bddnode    ∗BddNode;
   bddnode    ∗BddSubst;
   chain_list ∗Expr;
   bddvar         Variable;
   BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
   BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
   Expr = createablbinexpr( ABL_AND,
                            createablatom( "i0" ),
                            createablatom( "i1" ) );
   BddNode = addbddcircuitabl( BddCircuit, Expr );
   freeablexpr( Expr );
   Expr = createablbinexpr( ABL_OR,
                            createablatom( "i2" ),
                            createablatom( "i3" ) );
   BddSubst = addbddcircuitabl( BddCircuit, Expr );
   freeablexpr( Expr );
   BddVariable = searchbddcircuitin( (bddcircuit ∗)0, "i0" );
   Variable = getbddvarbyindex( (bddsystem ∗)0, BddVariable->INDEX );
   BddNode = composebddnode( (bddsystem ∗)0, BddNode, Variable, BddSubst );
   Expr = convertbddcircuitabl( BddCircuit, BddNode );
   /* displays (i1 and (i2 or i3)) */
   viewablexpr( Expr, ABL_VIEW_VHDL );
   freeablexpr( Expr );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

And yes, the comment literally says /* displays (i1 and (i2 or i3)) */ — iconic. periodt. 🦋

🫶 SEE ALSO 🫶

bdd(1) — go read it too, bestie. 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. fr fr, they want your feedback. 🫶

Big slay sign-off: ASIM/LIP6 · October 1, 1997 · COMPOSEBDDNODE(3) 💅✨