REORDERBDDSYSTEMTOP(3)

🌸 NAME 🌸

okay bestie, welcome to REORDERBDDSYSTEMTOP(3) — the manual page for reorderbddsystemtop. It reorders the bdd nodes of a bdd system. 💅

🦋 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"
void reorderbddsystemtop( BddSystem )
  bddsystem ∗BddSystem;

🎀 PARAMETERS 🎀

• BddSystem — the bdd system. 💖

🔥 DESCRIPTION 🔥

reorderbddsystemtop reorders all the bdd nodes of the bdd system BddSystem, in order to minimize the total number of bdd nodes. 🦋✨

If a null pointer is given, the default bdd system is used. No cap. 💅

🌈 RETURN VALUE 🌈

reorderbddsystemtop returns nothing. That's it, bestie — literally nothing. 😭🫶

🍓 EXAMPLE 🍓

#include "bdd101.h"
   bddsystem ∗BddSystem;
   BddSystem = createbddsystem( 100, 1000, 100, 50000 );
   ...
   reorderbddsystemtop( BddSystem );
   ...
   destroybddsystem( BddSystem );

👑 SEE ALSO 👑

• bdd(1) — go peek, 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. fr fr — send the feedback, bestie. 🙈💖

That’s the whole vibe: from ASIM/LIP6, dated October 1, 1997. slay. ✨🫶