SIMPBDDNODEDCON(3)

💖 SIMPBDDNODEDCON(3) 💖

okay bestie, welcome to the BDD FUNCTIONS corner of the manual, this is simpbddnodedcon(3) and she is lowkey the moment ✨

---

🌸 NAME 🌸

simpbddnodedcon — simplifies a bdd with don't cares on its on-set part.

---

🎀 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. no cap, Paris. the vibe is immaculate 🇫🇷

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

---

✨ SYNOPSIS ✨

#include "bdd101.h"
bddnode ∗simpbddnodedcon( BddSystem, BddOn, BddDc )
  bddsystem ∗BddSystem;
  bddnode   ∗BddOn;
  bddnode   ∗BddDc;

---

🦋 PARAMETERS 🦋

• BddSystem — the bdd system. it's giving the whole universe she lives in 🌌
• BddOn — the first bdd node. main character energy, honestly 💅
• BddDc — the second bdd node. the don't-care bestie 🫶

---

💜 DESCRIPTION 💜

so simpbddnodedcon simplifies the bdd node BddOn with BddDc, inside the bdd system BddSystem. that's it, that's the serve ✨

If a null pointer is given, the default bdd system is used. classic.

🚨 bestie listen to me: the bdd node BddDc must be included imperatively in the on-set part of the bdd node BddOn. imperatively. like, no exceptions, no wiggle room, fr fr. don't try it 💀

---

🌈 RETURN VALUE 🌈

simpbddnodedcon returns the simplified bdd node. she ate and left no crumbs 👑

---

🍓 EXAMPLE 🍓

#include "bdd101.h"
   bddsystem  ∗BddSystem;
   bddcircuit ∗BddCircuit;
   bddnode    ∗BddOn;
   bddnode    ∗BddDc;
   bddnode    ∗BddNode;
   chain_list ∗Expr;
   BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
   BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
   Expr = createablbinexpr( ABL_OR,
                            createablatom( "i0" ),
                            createablatom( "i1" ) );
   BddOn = addbddcircuitabl( BddCircuit, Expr );
   freeablexpr( Expr );
   Expr = createablbinexpr( ABL_NOR,
                            createablatom( "i0" ),
                            createablatom( "i1" ) );
   BddDc = addbddcircuitabl( BddCircuit, Expr );
   freeablexpr( Expr );
   BddNode = simpbddnodedcon( (bddsystem ∗)0, BddOn, BddDc );
   Expr = convertbddcircuitabl( BddCircuit, BddNode );
   /* displays '1' */
   viewablexpr( Expr, ABL_VIEW_VHDL );
   freeablexpr( Expr );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

and yeah, it displays '1'. iconic behaviour, honestly 🎀

---

👑 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. not me begging for feedback but like... pls 🥺

---

that's the whole page bestie, slay 💅

ASIM/LIP6 — October 1, 1997 ✨ SIMPBDDNODEDCON(3) — yes she's been here since 1997 and she's still serving, periodt 💖