IMPLYBDDNODE(3)

okay bestie, welcome to IMPLYBDDNODE(3) from the BDD FUNCTIONS manual 💅✨ this page is about computing a bdd that implies a conjunction of two bdd nodes, and we're gonna get into every little detail together 🫶

🎀 NAME 🎀

implybddnode — computes a bdd that implies a conjonction of two bdd nodes. (that's the page's spelling, bestie — French moment 💅)

🌈 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 🫶

Web: http://asim.lip6.fr/recherche/alliance/

E-mail: alliance-users@asim.lip6.fr

✨ SYNOPSIS ✨

#include "bdd101.h"
bddnode ∗implybddnode( BddSystem, BddNode1, BddNode2 )
  bddsystem ∗BddSystem;
  bddnode   ∗BddNode1;
  bddnode   ∗BddNode2;

🧚 PARAMETERS 🧚

• BddSystem — the bdd system 😌
• BddNode1 — the first bdd node 💖
• BddNode2 — the second bdd node 🦋

💫 DESCRIPTION 💫

implybddnode tests if the intersection of BddNode1 and not BddNode2 exists, in the bdd system BddSystem. If a null pointer is given, the default bdd system is used 🌸

That's the whole vibe check: intersection existence, no cap ✨

👑 RETURN VALUE 👑

implybddnode returns the bdd node zero if there is no intersection, and a computed bdd node otherwise 💀 so: no intersection → node zero; otherwise → computed bdd node 👑

🍓 EXAMPLE 🍓

here's the example exactly as the page serves it, hello_world and all 🫶

#include "bdd101.h"
   bddsystem  ∗BddSystem;
   bddcircuit ∗BddCircuit;
   bddnode    ∗BddNode1;
   bddnode    ∗BddNode2;
   bddnode    ∗BddImply;
   chain_list ∗Expr;
   BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
   BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
   Expr = createablbinexpr( ABL_OR,
                            createablatom( "i0" ),
                            createablatom( "i1" ) );
   BddNode1 = addbddcircuitabl( BddCircuit, Expr );
   freeablexpr( Expr );
   Expr = createablbinexpr( ABL_AND,
                            createablatom( "i0" ),
                            createablatom( "i1" ) );
   BddNode1 = addbddcircuitabl( BddCircuit, Expr );
   freeablexpr( Expr );
   BddImply = implybddnode( (bddsystem ∗)0, BddNode1, BddNode2 );
   Expr = convertbddcircuitabl( BddCircuit, BddNode );
   /* displays (i0 and (not i1)) */
   viewablexpr( Expr, ABL_VIEW_VHDL );
   freeablexpr( Expr );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

🦋 SEE ALSO 🦋

bdd(1) — go look at that one too, iykyk 💜

💀 BUG REPORT 💀

This tool is under development at the ASIM department of the LIP6 laboratory.

We need your feedback to improve documentation and tools 🫶 yes, you, bestie — feedback is the moment 💖

that's the whole page ✨ source/version: ASIM/LIP6; date: October 1, 1997; manual: IMPLYBDDNODE(3) 💖 bye bestie!