SIMPABLEXPR(3)

okay so bestie, welcome to the SIMPABLEXPR(3) page from the ABL FUNCTIONS section — yes, it’s a whole manual page for one expression-simplifying function, and honestly? iconic. 💅

✨ NAME ✨

simpablexpr — simplies an expression. (The page says “simplies”; we are not fixing it, because canon is canon 😭💀)

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

Here’s the signature, verbatim, no cap:

#include "abl101.h"
chain_list ∗simpablexpr( Expr )
  chain_list ∗Expr;

🦋 PARAMETERS 🦋

• Expr — expression to simplfy. (Yep, “simplfy” — the typo is part of the lore 🫶)

💖 DESCRIPTION 💖

simpablexpr simplifies Expr. That’s the whole job, and it ate. 💅

Important, bestie: the expression pointer Expr MUSTN’T be used after the call to this function. Not even a little glance. It’s done. Periodt. 🚫👀

🌈 RETURN VALUE 🌈

simpablexpr returns a pointer to the simplied expression. (Their spelling again: “simplied” — we respect the typo era 💀✨)

🔥 EXAMPLE 🔥

Okay bestie, example time — this is copied exactly, so don’t come for me:

#include "abl101.h"
  chain_list ∗Expr;
  Expr = createablbinexpr( ABL_AND,
                           createablatom( "'0'" ),
                           createablatom( "'1'" ) );
  Expr = simpablexpr( Expr );
  /* displays '0' */
  viewablexpr( Expr, ABL_VIEW_VHDL );

The comment says it displays '0', and yes, that’s the whole serve. 💅

👑 SEE ALSO 👑

Go give these a look too, bestie:

• abl(1)
• simpdupablexpr(3)

🫶 BUG REPORT 🫶

This tool is under development at the ASIM department of the LIP6 laboratory. We need your feedback to improve documentation and tools. So like, if you have notes, send them — they’re literally asking 🫶✨

That’s the page, bestie. Brought to you by ASIM/LIP6, dated October 1, 1997 — slay, bye 💋🎀