ADDBDDVARFIRST(3)

🎀 NAME 🎀

okay so bestie, welcome to addbddvarfirst(3) from the BDD FUNCTIONS manual — it literally adds a new variable, before all others. periodt. 💅

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

the signature is giving main character energy, no cap:

#include "bdd101.h"
bddnode ∗addbddvarfirst( BddSystem )
  bddsystem ∗BddSystem;

💖 PARAMETERS 💖

• BddSystem — the bdd system. that’s the whole parameter situation, bestie. 🫶

🦋 DESCRIPTION 🦋

addbddvarfirst creates a new variable, with the number 0, in the bdd system BddSystem. 🎀

If a null pointer is given, the default bdd system is used. easy peasy. ✨

🔥 RETURN VALUE 🔥

addbddvarfirst returns a pointer to the bdd node of the new variable. that’s the return-value tea. ☕💅

💀 ERRORS 💀

• "no more variables, error !" — bestie, this means there is no variable number left. 😭

🌸 EXAMPLE 🌸

here’s the little code moment, copy it exactly, iykyk:

#include "bdd101.h"
   bddsystem  ∗BddSystem;
   bddnode    ∗BddNode;
   BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
   BddNode = addbddvarfirst( (bddsystem ∗)0 );
   destroybddsystem( (bddsystem ∗)0 );

👑 SEE ALSO 👑

go check out bdd(1) too, 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 girl needs the feedback. 🫶✨

mwah 💋 this page came from ASIM/LIP6, dated October 1, 1997, and it’s ADDBDDVARFIRST(3) — bye bestie, slay responsibly. 🌈👑