GETABLEXPRMIN(3)

getablexprmin(3) — ABL FUNCTIONS ✨

okay so this is getablexprmin(3) from the ABL FUNCTIONS manual, and we’re gonna make it make sense, bestie. 💖

🎀 NAME 🎀

getablexprmin — applies a function to all operands.

🌈 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 "abl101.h"
chain_list ∗getablexprmin( Function, Expr )
  int       (∗Function)();
  chain_list ∗Expr;

🍓 PARAMETERS 🍓

• Function — the cost function. It’s the lil guy doing the judging. 👑
• Expr — the expression to scan. This is the thing we’re snooping through. 🕵️‍♀️

🦋 DESCRIPTION 🦋

getablexprmin applies the cost function Function to all operands of Expr. That’s the whole move. It’s giving “run the vibe check on every operand” energy. ✨

🔥 RETURN VALUE 🔥

getablexprmin returns the operand for which unction gives the minimum cost — yes, the original page literally says unction, and no cap, it means Function with the F ghosting us. 😭

The expression pointer returned MUSTN’T be modified after the call to this function. Like, don’t touch it. Periodt. 🚫

💀 ERRORS 💀

The page says getablexprmin error ... and that’s literally it. No extra error list, no codes, no lore. That’s the whole error section, bestie. 💀

🌸 EXAMPLE 🌸

       #include "abl101.h"
           int MapFunction( MapExpr )
             chain_list ∗MapExpr;
           {
             return( getabldepthexpr( MapExpr ) );
           }
           ...
           chain_list ∗Expr;
           chain_list ∗Expr1;
           Expr = createablbinexpr( ABL_AND,
                                    createablatom( "a" ),
                                    createablatom( "b" ) );
          Expr1 = getablexprmin( MapFunction, Expr );

👑 SEE ALSO 👑

abl(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. fr fr, they’re asking. 🫶

xoxo, ASIM/LIP6 — October 1, 1997 — GETABLEXPRMIN(3) 💖