CONVERTBDDNODESUMABL(3)

💅 NAME 💅

okay so convertbddnodesumabl(3) is from the BDD FUNCTIONS manual, and it converts a bdd node to an abl expression. that's the whole name, bestie. periodt. 💖

🌸 ORIGIN 🌸

so 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. iconic institutional lore, no cap.

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

✨ SYNOPSIS ✨

#include "bdd101.h"
chain_list *convertbddnodesumabl( BddSystem, NameArray, IndexArray, BddNode )
  bddsystem ∗BddSystem;
  char     ∗∗NameArray;
  bddindex  ∗IndexArray;
  bddnode   ∗BddNode;

🎀 PARAMETERS 🎀

• BddSystem — the bdd system. yes, the whole system vibe.
• NameArray — the array of names.
• IndexArray — the array of indexes.
• BddNode — the bdd node to convert. the main character of this conversion moment.

🦋 DESCRIPTION 🦋

okay so convertbddnodesumabl converts the bdd node to a non optimal abl expression in the bdd system BddSystem. (yes, the page literally says non optimal — we're not fixing that, we're respecting it. 💅)

If a null pointer is given, the default bdd system is used. NameArray and IndexArray are the parameters that translate the variable nodes into atomic expressions. NameArray is a list of names. IndexArray does the correspondence between a bdd node index and a slot in 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 💖

convertbddnodesumabl returns a pointer to the abl expression translated. that's it, that's the return value, and it ate. ✨

🍓 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 = convertbddnodesumabl( BddSystem, NameArray, (bddindex ∗)0,  BddNode );
   /* displays i0 */
   viewablexpr( Expr, ABL_VIEW_VHDL );
   freeablexpr( Expr );
   destroybddsystem( (bddsystem ∗)0 );

the comment /* displays i0 */ is doing its little display moment, and that's on purpose. 🫶

🌈 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.

so like, fr fr, send the feedback — they literally said they need it to improve documentation and tools. 🙈

xoxo, ASIM/LIP6 — October 1, 1997 💜 CONVERTBDDNODESUMABL(3) out.