SUPPORTCHAIN_LISTBDD(3)

💖 SUPPORTCHAIN_LISTBDD(3) 💖

okay bestie, welcome to the BDD functions manual — this page is all about supportChain_listBdd, and it's lowkey iconic. ✨

🌈 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

💅 NAME 💅

supportChain_listBdd — returns a chained list of nodes that are used in a given BDD. no cap, that's the whole name. 🫶

✨ SYNOPSIS ✨

#include "logmmm.h"
chain_list *supportChain_listBdd(pBdd)
pNode pBdd;

🎀 PARAMETER 🎀

• pBdd — a BDD. That's the one and only parameter, bestie. 💖

🦋 DESCRIPTION 🦋

supportChain_listBdd() creates a chained list in which all the nodes of pBdd are represented.

That's it — it's giving “make me the chained list of nodes from this BDD” energy. 🌸

🔥 EXAMPLE 🔥

okay so here's the full little example, and yes, the comments and output are part of the lore. copy commands exactly, bestie:

#include "mutnnn.h"      /* mbk utilities */
#include "logmmm.h"
pNode nodeA,nodeB,nodeC;
pNode res;
chain_list *pt;

initializeBdd(SMALL_BDD);
nodeA = createNodeTermBdd(3);
nodeB = createNodeTermBdd(3);
nodeC = createNodeTermBdd(4);
pt = NULL;
pt = addListBdd(pt,nodeA);
pt = addListBdd(pt,nodeB);
pt = addListBdd(pt,nodeC);
res = applyBdd(OR,pt);
pt = supportChain_listBdd(res);

while (pt)
   {
   printf("--- ");
   displayBdd((pNode) pt->DATA,0);    /* displays the node */
   pt = pt->NEXT;
   }
/* it will display

--- @nodeA   index = 2  LOW = ZERO    HIGH = ONE
--- @inter   index = 3  LOW = @nodeA  HIGH = ONE
--- @res     index = 4  LOW = @inter  HIGH = ONE
*/

destroyBdd(1);

🧚 SEE ALSO 🧚

go peek at these other pages, iykyk:

• log(1)
• bdd(1)
• numberNodeBdd(3)
• addListBdd(3)
• notBdd(3)
• constraintBdd(3)
• composeBdd(3)
• displayBdd(3)
• createNodeTermBdd(3)

💀 BUG REPORT 💀

This tool is under development at the ASIM department of the LIP6 laboratory. We need your feedback to improve documentation and tools.

This page is brought to you by ASIM/LIP6, dated October 1, 1997, and its manual title is SUPPORTCHAIN_LISTBDD(3). mwah 💋✨