ADDLISTBDD(3)

💖 ADDLISTBDD(3) 💖 — BDD functions 🦋

okay bestie, sit down, hydrate, because we're talking about addListBdd — a lil function from the BDD functions manual, and she is lowkey a whole icon. ✨

---

🌍 ORIGIN 🌍

This software belongs to the ALLIANCE CAD SYSTEM, developed by the ASIM team at the LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France. 🇫🇷✨ (yes, Paris. the main character city. of course.)

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

---

✨ NAME ✨

addListBdd — adds a BDD to a chained list of BDDs 💅

it's giving "one more node in the group chat," fr fr.

---

🎀 SYNOPSIS 🎀

#include "logmmm.h"
chain_list *addListBdd(pt,pBdd)
chain_list *pt;
pNode pBdd;

---

🫶 PARAMETERS 🫶

• pt — the old chain_list pointer 🧚 (the list you already had, before you showed up with a new BDD)
• pBdd — the BDD to add 🌸

---

💅 DESCRIPTION 💅

so addListBdd() adds pBdd to pt. periodt. 🎀

and the way that it also computes an optimal reordering on pt that minimizes the number of nodes when the applyBdd() function is called?? no cap, she's doing the most so future-you doesn't have to. 👑

---

🌈 EXAMPLE 🌈

#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);
displayBdd(res,1);

/* it will display
@res    INDEX = 4   LOW = @inter   HIGH = ONE
@inter  INDEX = 3   LOW = @nodeA   HIGH = ONE
@nodeA  INDEX = 2   LOW = ZERO        HIGH = ONE
*/
/* total number of nodes = 5 */

destroyBdd(1);

like, look at her go. 🦋 starting from pt = NULL, stacking up nodeA, nodeB, nodeC, then applyBdd(OR,pt) hits and she ate. 🔥

and yes bestie, the comments are load-bearing — the display output and that total number of nodes = 5 are literally part of the page. don't skip them. 🙈

---

💜 SEE ALSO 💜

log(1), bdd(1), addListBdd(3), addListBdd(3), notBdd(3), constraintBdd(3), composeBdd(3), displayBdd(3), createNodeTermBdd(3).

not me noticing addListBdd(3) is listed twice 😭 iconic behavior honestly, keeping it exactly as written. she contains multitudes. 👑

---

🐛 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… tell them things. they're asking nicely. fr fr.

---

okay that's the whole page, you're so welcome. 💖 this one came from ASIM/LIP6 and it's dated October 1, 1997 — yes, an elder. a vintage queen. 🌸 and remember: addListBdd(3) is the move, always. bye bestie! 🎀✨🦋