GETABLEXPRMAX(3)

💅 GETABLEXPRMAX(3) — the ABL FUNCTIONS girlies ✨

okay so bestie, welcome to the getablexprmax page — it lives in section 3 of the manual (that's the ABL FUNCTIONS section, iykyk), and it's literally about applying a function to all the operands 🎀

---

🌸 NAME 🌸

getablexprmax — applies a function to all operands. that's it, that's the vibe 💅

---

🧚 ORIGIN 🧚

ok so 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 🥖✨ (yes the actual university name has a little encoding hiccup in the original, we're not gonna pretend otherwise, that's just how it is 💀)

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

like, reach out, they're literally waiting 🫶

---

✨ SYNOPSIS ✨

#include "abl101.h"
chain_list ∗getablexprmax( Function, Expr )
  int       (∗Function)();
  chain_list ∗Expr;

no cap, that's the whole signature. copy it exactly, she's sensitive 💖

---

🎀 PARAMETERS 🎀

• Function — the cost function. yes, it's a function pointer, she's fancy like that 👑
• Expr — the expression to scan. go through it, bestie 🔍

---

🦋 DESCRIPTION 🦋

so getablexprmax applies the cost function Function to all the operands of Expr. every single one. the way that it just goes through them all and scores them? iconic 🌈

---

⭐ RETURN VALUE ⭐

getablexprmax returns the operand for which Function gives the maximum cost 🏆 (the original page has a little typo and says "unction" — we love her anyway, she's doing her best 💀).

⚠️ lowkey important: the expression pointer returned MUSTN'T be modified after the call to this function. like, do not touch. periodt 🙈

---

💀 ERRORS 💀

getablexprmax error ... — yeah that's literally all the page says, bestie. we're not gonna invent lore that isn't there 😭

---

🔥 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 = getablexprmax( MapFunction, Expr );

see? you build a little AND expression out of "a" and "b", then you hit it with MapFunction via getablexprmax and get Expr1 back. slay 💅

---

👑 SEE ALSO 👑

• abl(1)

go read that one next, it's giving main character energy 🌟

---

🍓 BUG REPORT 🍓

this tool is under development at the ASIM department of the LIP6 laboratory 🛠️ and they literally need your feedback to improve documentation and tools. so like, if something's weird, tell them, they're asking!! fr fr 🙏

---

okay that's the whole page, hope it ate 💖

sign-off time: this beauty came from ASIM/LIP6 and she's dated October 1, 1997 — a vintage icon, honestly, we stan an old queen 🎀✨🦋