COFACTORBDDNODE(3)

✨ NAME ✨

cofactorbddnode — computes the generalized cofactor. 🦋 okay so bestie, this page is COFACTORBDDNODE(3) from the BDD FUNCTIONS manual, and yes, the whole main-character job is computing the generalized cofactor. periodt. 💅

🌍 ORIGIN 🌍

okay so 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. iconic. 🗼

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

✨ SYNOPSIS ✨

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

🎀 PARAMETERS 🎀

• BddSystem — the bdd system. literally the system it lives in. 💻
• BddNode1 — the first bdd node. first up. 🥇
• BddNode2 — the second bdd node. second up. 🥈

💫 DESCRIPTION 💫

cofactorbddnode computes the generalized cofactor of BddNode1 by BddNode2, in the bdd system BddSystem. if a null pointer is given, the default bdd system is used. no cap. 🫶

🌈 RETURN VALUE 🌈

cofactorbddnode returns the resulting bdd node. that's it. that's the tea. 🍓

💀 ERRORS 💀

• "index xxx out of range" — the BddNode2 parameter must be different to the zero bdd node. so do not hand it the zero bdd node, bestie; that's the error vibe. 🙈

🧚 EXAMPLE 🧚

here's the full example, with the code kept exactly as it needs to be:

#include "bdd101.h"
   bddsystem  ∗BddSystem;
   bddcircuit ∗BddCircuit;
   bddnode    ∗BddNode1;
   bddnode    ∗BddNode2;
   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" ) );
   BddNode1 = addbddcircuitabl( BddCircuit, Expr );
   freeablexpr( Expr );
   Expr = createablbinexpr( ABL_AND,
                            createablatom( "i0" ),
                            createablatom( "i1" ) );
   BddNode2 = addbddcircuitabl( BddCircuit, Expr );
   freeablexpr( Expr );
   BddNode = cofactorbddnode( (bddsystem ∗)0, BddNode1, BddNode2 );
   Expr = convertbddcircuitabl( BddCircuit, BddNode );
   /* displays '1' */
   viewablexpr( Expr, ABL_VIEW_VHDL );
   freeablexpr( Expr );
   destroybddsystem( (bddsystem ∗)0 );
   destroybddcircuit( (bddcircuit ∗)0 );

👀 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. bestie, please send the feedback — the docs and tools need the glow-up. 💖

~ ASIM/LIP6 · October 1, 1997 · COFACTORBDDNODE(3) ~ 💅✨