CONVERTBDDNODEABL(3)

✨ NAME ✨

okay bestie, welcome to the convertbddnodeabl page from the BDD FUNCTIONS manual — yes, the formal title is CONVERTBDDNODEABL(3), but we’re gonna keep it cute 💅

convertbddnodeabl — converts a bdd node to an abl expression. periodt ✨

🌈 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"
chain_list *convertbddnodeabl( BddSystem, NameArray, IndexArray, BddNode )
  bddsystem ∗BddSystem;
  char     ∗∗NameArray;
  bddindex  ∗IndexArray;
  bddnode   ∗BddNode;

🦋 PARAMETERS 🦋

• BddSystem — the bdd system. your whole vibe lives here ✨
• NameArray — the array of names. it’s giving “these are the names, bestie” 🎀
• IndexArray — the array of indexes. the matching game, but for bdd indexes 🔥
• BddNode — the bdd node to convert. main character energy fr fr 👑

💖 DESCRIPTION 💖

convertbddnodeabl converts the bdd node BddNode to an abl expression in the bdd system BddSystem. no cap, that’s the whole glow-up ✨

If a null pointer is given, the default bdd system is used. lowkey convenient 💅

The NameArray and IndexArray parameters are used to translate the variable nodes into atomic expressions. The array NameArray is list of names. The array IndexArray does the correspondence between a bdd node index and a slot in the NameArray. 🧚

If the IndexArray parameter is a null pointer, then the name of the bdd index BDD_INDEX_MIN is assumed to be the first slot of the NameArray, and so on. iykyk 🌸

⭐ RETURN VALUE ⭐

convertbddnodeabl returns a pointer to the abl expression translated. slay 🫶

🔥 EXAMPLE 🔥

#include "bdd101.h"
   bddsystem  ∗BddSystem;
   bddnode    ∗BddNode;
   chain_list ∗Expr;
   char       ∗NameArray[ 1 ];
   BddSystem = createbddsystem( 100, 1000, 100, 50000 );
   BddNode   = addbddvarlast( BddSystem );
   NameArray[ 0 ] = namealloc( "i0" );
   Expr = convertbddnodeabl( BddSystem, NameArray, (bddindex ∗)0,  BddNode );
   /* displays i0 */
   viewablexpr( Expr, ABL_VIEW_VHDL );
   freeablexpr( Expr );
   destroybddsystem( (bddsystem ∗)0 );

👑 SEE ALSO 👑

bdd(1), abl(1). go read those too, bestie 📚✨

💀 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, tell them what’s giving 🫶

cute sign-off: this page is from ASIM/LIP6 and dated October 1, 1997. iconic. 💅🎀