BDD101(1)

💖 NAME 💖

bdd — Mutli Reduced Ordered Binary Decision Diagrams

okay so welcome to BDD101(1), the manual page from the ALLIANCE BDD LIBRARY. Yes bestie, the spelling is Mutli on the page — I’m just reporting the lore 💅

🌸 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

✨ DESCRIPTION ✨

bdd is a library that enables you to represent a boolean expression as a Multi Reduced Ordered Binary Decision Diagrams. iconic behavior, honestly 🦋

🎀 the function lineup 🎀

Here’s the whole function roster, no skipping, no cap:

• viewbddallocinfo — displays memory information 💾
• applybddnodenot — complements a bdd ✨
• applybddnodeterm — applies an operator on two bdd nodes 🧮
• applybddnode — applies an operator on two bdd nodes 🧮
• applybddnodeite — computes the IF-THEN-ELSE logical operation 🔀
• applybddnodelist — applies an operator to a bdd nodes list 📝
• addbddassoc — creates a new variable association 🔗
• addbddnodeassoc — adds a bdd node in a variable association 🧷
• delbddassoc — deletes a variable association 🗑️
• delbddnodeassoc — deletes a bdd node in a variable association 🗑️
• destroybddassoc — frees all the variable associations 💥
• viewbddassoc — displays variable associations 👀
• checkbddvar — checks the coherence of a variable ✅
• checkbddindex — checks the coherence of a bdd index ✅
• checkbddoper — checks the coherence of an operator ✅
• checkbddassoc — checks a variable association ✅
• checkbddmaxnode — checks if the max node reached 🚦
• createbddcircuit — creates a bdd circuit 🏗️
• resetbddcircuit — resets a bdd circuit 🔄
• destroybddcircuit — frees a bdd circuit 💥
• searchbddcircuitin — searches a specified input in a circuit 🔎
• addbddcircuitin — adds a new input in a circuit ➕
• addbddcircuitaux — adds an auxiliary variable in a circuit 🧩
• searchbddcircuitout — searches a specified output in a circuit 🔎
• addbddcircuitout — adds a new output in a circuit ➕
• delbddcircuitout — deletes a specified output in a circuit 🗑️
• addbddcircuitabl — converts an abl to a bdd node 🔁
• convertbddcircuitabl — converts a bdd node to an abl 🔁
• convertbddcircuitsumabl — converts a bdd node to an abl 🔁
• viewbddcircuit — displays a bdd circuit 👀
• cofactorbddnode — computes the generalized cofactor 🧠
• restrictbddnode — substitutes a variable by zero or one 0️⃣1️⃣
• composebddnode — substitutes a variable by a bdd node 🧩
• convertbddindexabl — converts a bdd index to an atomic abl 🔁
• convertbddmuxabl — converts a bdd node to a multiplexor 🔀
• convertbddnodeabl — converts a bdd node to an abl 🔁
• convertbddnodesumabl — converts a bdd node to an abl 🔁
• existbddnodeassocon — computes an existential quantification 🌱
• existbddnodeassocoff — computes an existential quantification 🌱
• garbagebddsystem — forces a bdd garbage collection 🗑️
• implybddnode — computes a bdd that implies a conjonction 🧠
• intersectbddnode — tests for an intersection 🔗
• markbddnode — marks a bdd node 🖍️
• unmarkbddnode — clears a marked bdd node 🧽
• getbddnodenum — gets the number of nodes in a bdd 🔢
• getbddnodesize — gets the number of nodes in a bdd 🔢
• addbddnode — adds a new bdd node ➕
• addbddnodelist — adds a node in a chain_list 🔗
• delbddnode — deletes a bdd node 🗑️
• delbddnodelist — deletes a list of bdd nodes 🗑️
• viewbddnode — displays a bdd node 👀
• incbddrefext — increments the number of external reference ⬆️
• incbddrefint — increments the number of internal reference ⬆️
• decbddrefext — decrements the number of external reference ⬇️
• decbddrefint — decrements the number of internal reference ⬇️
• setbddrefext — sets a node visible from outside 👁️
• unsetbddrefext — sets a node invisible from outside 🙈
• clearbddsystemrefint — clears all the internal references 🧹
• clearbddsystemrefext — clears all the external references 🧹
• clearbddsystemref — clears all the references 🧹
• relprodbddnodeassoc — computes a relation product ✖️
• reorderbddsystemsimple — reorders the bdd nodes 🔀
• reorderbddsystemwindow — reorders the bdd nodes 🔀
• reorderbddsystemtop — reorders the bdd nodes 🔀
• reorderbddsystemdynamic — sets the dynamic reorder parameters 🎛️
• satisfybddnode — finds a satisfying path for a bdd 🛤️
• simpbddnodedcon — simplifies a bdd with don't cares on its on-set 🧼
• simpbddnodedcoff — simplifies a bdd with don't cares on its off-set 🧼
• substbddnodeassoc — substitutes variables with bdd nodes 🧩
• getbddnodesupport — gives the support of a bdd node 🫶
• isbddvarinsupport — checks if a variable appears in a bdd node ✅
• createbddsystem — creates a bdd system 🏗️
• resetbddsystem — resets a bdd system 🔄
• destroybddsystem — frees a bdd system 💥
• viewbddsystem — displays a bdd system 👀
• viewbddsysteminfo — displays statistical information 📊
• testbddcircuit — debugs a bdd circuit 🐞
• addbddvar — creates a new variable ➕
• addbddvarlast — creates a new variable ➕
• addbddvarfirst — creates a new variable ➕
• addbddvarbefore — creates a new variable ➕
• addbddvarafter — creates a new variable ➕
• sweepbddvar — sweeps all the unused nodes for a variable 🧹
• swapbddvar — swaps two contiguous variables 🔁
• getbddvarbyindex — converts bdd index to a variable number 🔢
• getbddvarindex — converts a variable number in a bdd index 🔢
• getbddvarnode — gives the bdd node of a variable 🎁
• getbddvarnodebyindex — gives the bdd node of a variable 🎁
• addbddvarauxsingle — creates an auxiliary variable 🧩
• addbddvarauxglobal — creates an auxiliary variable 🧩

libBdd101.a :

allocbdduserfunc, allocbddheath, allocbddhnode, allocbddhoper,
allocbddhnodetable, allocbddhopertable, allocbddblock,
allocbddnodeblock, allocbddvartree, allocbddvarchild, allocbddvarnode,
allocbddindexnode, allocbddvar, allocbddindex, allocbddassoc,
allocbddassocnode, allocbddnamein, allocbddindexin, allocbddsystem,
allocbddcircuit, viewbddallocinfo, applybddnodenot, applybddnodeterm,
applybddnode, applybddnodeite, applybddnodelist, addbddassoc,
addbddnodeassoc, delbddassoc, delbddnodeassoc, destroybddassoc,
viewbddassoc, addbddblock, createbddblock, resetbddblock,
destroybddblock, viewbddblock, checkbddvar, checkbddindex, checkbddoper,
checkbddassoc, checkbddmaxnode, createbddcircuit, resetbddcircuit,
destroybddcircuit, searchbddcircuitin, addbddcircuitin,
addbddcircuitaux, searchbddcircuitout, addbddcircuitout,
delbddcircuitout, addbddcircuitabl, convertbddcircuitabl,
convertbddcircuitsumabl, viewbddcircuit, cofactorbddnode,
restrictbddnode, composebddnode, convertbddindexabl, convertbddmuxabl,
convertbddnodeabl, convertbddnodesumabl, existbddnodeassocon,
existbddnodeassocoff, freebdduserfunc, freebddheath, freebddhnode,
freebddhoper, freebddhnodetable, freebddhopertable, freebddblock,
freebddnodeblock, freebddvartree, freebddvarchild, freebddvarnode,
freebddindexnode, freebddvar, freebddindex, freebddassoc,
freebddassocnode, freebddnamein, freebddindexin, freebddsystem,
freebddcircuit, garbagebddsystem, getbddheathvar, getbddheath,
delbddheath, setbddhnodefunc, getbddhnodesize, getbddhnodekey,
getbddhnodeindex, checkbddhnode, createbddhnodetable,
destroybddhnodetable, resetbddhnodetable, resizebddhnodetable,
stretchbddhnodetable, addbddhnode, delbddhnode, viewbddhnode,
viewbddhnodetable, viewbddindexnode, viewbddvarnode, setbddhoperfunc,
getbddhopersize, getbddhoperkey, createbddhopertable,
destroybddhopertable, resetbddhopertable, addbddhoper, searchbddhoper,
viewbddhoper, viewbddhopertable, implybddnode, intersectbddnode,
markbddnode, unmarkbddnode, getbddnodenum, getbddnodesize, addbddnode,
addbddnodelist, delbddnode, delbddnodelist, viewbddnode, incbddrefext,
incbddrefint, decbddrefext, decbddrefint, setbddrefext, unsetbddrefext,
clearbddsystemrefint, clearbddsystemrefext, clearbddsystemref,
relprodbddnodeassoc, reorderbddvartreewindow2, reorderbddvartreewindow3,
reorderbddsystemsimple, reorderbddsystemwindow, reorderbddsystemtop,
reorderbddsystemdynamic, resizebddvarchild, resizebddvarnode,
resizebddvar, resizebddindexnode, resizebddindex, resizebddassocnode,
resizebddnamein, resizebddindexin, satisfybddnode, simpbddnodedcon,
simpbddnodedcoff, substbddnodeassoc, getbddnodesupport,
isbddvarinsupport, createbddsystem, resetbddsystem, destroybddsystem,
viewbddsystem, viewbddsysteminfo, testbddcircuit, addbdduserfunc,
delbdduserfunc, execbdduserfunc, destroybdduserfunc, newbddvar,
addbddvar, addbddvarlast, addbddvarfirst, addbddvarbefore,
addbddvarafter, sweepbddvar, swapbddvar, getbddvarbyindex,
getbddvarindex, getbddvarnode, getbddvarnodebyindex, addbddvarauxsingle,
addbddvarauxglobal, searchbddvartree, deltabddvartree, shiftbddvartree,
addbddvartree, swapbddvartree, createbddvartree, resetbddvartree,
destroybddvartree, viewbddvartree.

🌈 SEE ALSO 🌈

Go say hi to aut(1) and abl(1). That’s the see-also crew, 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, your feedback matters 💖

made with 💖 by ASIM/LIP6, dated October 1, 1997 — bye bestie 🫶🎀