ISABLSIMILAREXPR(3)

💖 ISABLSIMILAREXPR 💖

okay bestie, buckle up, we're in the ABL FUNCTIONS section of the manual and this one is genuinely so useful 🫶

---

✨ NAME ✨

isablsimilarexpr — tests if two expressions have the same morphology.

like, do these two lil expression trees have the same shape? that's the whole vibe check. 🦋

---

🌸 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

(iconic lineage tbh 👑)

---

✨ SYNOPSIS ✨

#include "abl101.h"
int isablsimilarexpr( Expr1, Expr2 )
  chain_list ∗Expr1;
  chain_list ∗Expr2;

---

🎀 PARAMETERS 🎀

• Expr1 — First expression. (the main character 💅)
• Expr2 — Second expression. (the other main character 💅)

---

🌈 DESCRIPTION 🌈

isablequalexpr compares Expr1 and Expr2.

fr fr that's what it says, that's the whole description, no notes 🙈

---

⭐ RETURN VALUE ⭐

if Expr1 and Expr2 have got the same morphology isablequalexpr returns 1 and 0 otherwise.

so: same shape → 1, not same shape → 0. no in-between, no "it's complicated", periodt. 💀

---

🧚 EXAMPLE 🧚

#include "abl101.h"
   chain_list ∗Expr1;
   chain_list ∗Expr2;
   Expr1 = createablbinexpr( ABL_AND,
                             createablatom( "a" ),
                             createablatom( "b" ) );
   Expr2 = createablbinexpr( ABL_AND,
                             createablatom( "c" ),
                             createablatom( "d" ) );
   /* displays 1 */
   printf( "%d", isablsimilarexpr( Expr1, Expr2 ) );

see how Expr1 is a AND b and Expr2 is c AND d? different atoms, same morphology, so it prints 1. the shape ate, the labels didn't matter. obsessed. 🔥

---

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

bestie they are literally asking for your feedback, do not leave them on read 😭

---

that's the whole page, you're officially fluent in isablsimilarexpr now ✨

this lil slice of the ABL FUNCTIONS manual came to you courtesy of ASIM/LIP6, dated October 1, 1997 — yes she's a 90s baby and she still slays 💅🎀💖