CONVERTBDDINDEXABL(3)

🌸 NAME 🌸

okay bestie, welcome to the convertbddindexabl(3) page — this one is all about converting a bdd index to an abl expression ✨

💖 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;
  bddindex      Index;

tiny heads-up, bestie: the NAME says convertbddindexabl, while the SYNOPSIS literally spells the function convertbddnodeabl, and the call has BddNode while the parameter is named Index. Keep it exactly as written — no “fixing” it, iykyk 💅

🌈 PARAMETERS 🌈

• BddSystem — the bdd system.
• NameArray — the array of names.
• IndexArray — the array of indexes.
• Index — the bdd index to convert.

✨ DESCRIPTION ✨

convertbddindexabl converts the bdd index Index to an abl expression in the bdd system BddSystem. If a null pointer is given, the default bdd system is used. 🫶

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

🌟 RETURN VALUE 🌟

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

🌸 SEE ALSO 🌸

• bdd(1)

💀 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, source/version ASIM/LIP6 · date October 1, 1997 🫶💖