SUBSTABLEXPR(3)

💖 SUBSTABLEXPR(3) — the ABL FUNCTIONS girlies 💖

okay so bestie, you're in the abl101.h cinematic universe now and this is substablexpr(3), a function that's genuinely so iconic. let's get into it 🫶

---

✨ NAME ✨

substablexpr — substitutes a given atom by an expression.

like. that's the whole job. it's giving find-and-replace but make it boolean algebra 💅

---

🌸 ORIGIN 🌸

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. oui oui, très slay 🇫🇷✨

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

---

🎀 SYNOPSIS 🎀

#include "abl101.h"
chain_list ∗substablexpr( Expr1, Name, Expr2 )
  chain_list ∗Expr1;
  char       ∗Name;
  chain_list ∗Expr2;

---

🦋 PARAMETERS 🦋

• Expr1 — First expression. (the main character, the one getting the glow-up)
• Name — Atom name. (the atom we're swapping out, by name, fr fr)
• Expr — Second expression. (the one moving in, no cap)

---

💜 DESCRIPTION 💜

so substablexpr substitutes Atom in Expr1 by Expr2. that's it, that's the function, and it ate 💅

⚠️ okay but listen — the expression pointer Expr1 MUSTN'T be used after the call to this function. like, do not touch it afterwards. it's gone, it's not yours anymore, it left the group chat. use the return value instead, bestie 😭

---

🌈 RETURN VALUE 🌈

substablexpr returns the modified expression. 🎁 that's your new bestie, take it and go.

---

🔥 EXAMPLE 🔥

#include "abl101.h"
  chain_list ∗Expr1;
  chain_list ∗Expr2;
  Expr1 = createablbinexpr( ABL_OR,
                            createablatom( "a" ),
                            createablatom( "b" ) );
  Expr2 = createablbinexpr( ABL_AND,
                            createablatom( "c" ),
                            createablatom( "d" ) );
  Expr1 = substablexpr( Expr1, "a", Expr2 );
  /* displays ((c and d) or b) */
  viewablexpr( Expr1, ABL_VIEW_VHDL );

see how the "a" got swapped for (c and d) and then we get ((c and d) or b)?? that's the whole transformation arc. character development. periodt. 👑

---

👑 SEE ALSO 👑

abl(1), substdupablexpr(3).

go read those too, they're part of the lore 💖

---

💀 BUG REPORT 💀

This tool is under development at the ASIM department of the LIP6 laboratory. We need your feedback to improve documentation and tools.

(no literally, they're asking, so send the feedback, it's your moment ✨)

---

that's the whole page bestie, you're officially fluent in substablexpr 🎀

ASIM/LIP6 · October 1, 1997 · SUBSTABLEXPR(3) — mwah, love u, bye 💖✨