REORDERBDDSYSTEMSIMPLE(3)

✨ reorderbddsystemsimple(3) — BDD FUNCTIONS ✨

okay bestie, welcome to the REORDERBDDSYSTEMSIMPLE(3) page — it's in the BDD FUNCTIONS section, and it's literally about reordering bdd nodes. slay. 🦋

💖 NAME 💖

reorderbddsystemsimple — reorders the bdd nodes of a bdd system.

🌸 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.

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

✨ SYNOPSIS ✨

#include "bdd101.h"
void reorderbddsystemsimple( BddSystem )
  bddsystem ∗BddSystem;

🎀 PARAMETERS 🎀

• BddSystem — the bdd system.

💅 DESCRIPTION 💅

reorderbddsystemsimple 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, that's the whole vibe.

🫶 RETURN VALUE 🫶

reorderbddsystemsimple returns nothing. like, literally nothing — it's giving void. 😌

🌈 EXAMPLE 🌈

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

👑 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.

mwah 💋 — this page is from ASIM/LIP6, dated October 1, 1997. REORDERBDDSYSTEMSIMPLE(3) out, bestie. 🎀✨