ISABLEQUALEXPR(3)
π ISABLEQUALEXPR β ABL FUNCTIONS, bestie edition
okay so real talk, this is isablequalexpr from section 3 of the manual (that's the library-functions section, iykyk), and it lives in the ABL FUNCTIONS family. she's a tiny little function with one job and she does it flawlessly. no notes. π
πΈ NAME πΈ
isablequalexpr β tests if two expressions are strictly identicals.
like, strictly. she's not doing vibes-based comparison. she's doing the real thing. β¨
π¦ 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. π«π·β¨ iconic lineage honestly.
- Web : http://asim.lip6.fr/recherche/alliance/
- E-mail : alliance-users@asim.lip6.fr
π SYNOPSIS π
#include "abl101.h"
int isablequalexpr( Expr1, Expr2 )
chain_list βExpr1;
chain_list βExpr2;
π PARAMETERS π
Expr1β First expression. the OG. the one we're comparing from.Expr2β Second expression. the contender. the one we're comparing against.
β¨ DESCRIPTION β¨
isablequalexpr compares Expr1 and Expr2. that's it. that's the whole plot. she puts them side by side and is like "are y'all the same?" π«Ά
π RETURN VALUE π
if Expr1 and Expr2 are strictly identicals, isablequalexpr returns 1, and 0 otherwise. binary queen. no in-between, no "it's complicated", no situationship. periodt. π
π EXAMPLE π
#include "abl101.h"
chain_list βExpr1;
chain_list βExpr2;
Expr1 = createablbinexpr( ABL_AND,
createablatom( "a" ),
createablatom( "b" ) );
Expr2 = createablbinexpr( ABL_AND,
createablatom( "a" ),
createablatom( "b" ) );
/* displays 1 */
printf( "%d", isablequalexpr( Expr1, Expr2 ) );
two expressions built exactly the same way, and the printf displays 1 because they ARE strictly identicals. ate. π₯
π§ SEE ALSO π§
π 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 literally asking β slide into their inbox, bestie, it's for the greater good. π
okay that's the whole page, mwah π this one comes from ASIM/LIP6, dated October 1, 1997, and yes she's been serving since the 90s β ISABLEQUALEXPR(3), still flawless. π
π¦ where this page comes from
- fedora 43: alliance-devel 5.1.1-35.20160506gitd8c05cd.fc42 Β· GPL-2.0-only
- fedora 43: alliance-devel 5.1.1-35.20160506gitd8c05cd.fc42 Β· GPL-2.0-only
- fedora 44: alliance-devel 5.1.1-35.20160506gitd8c05cd.fc42 Β· GPL-2.0-only
- fedora 44: alliance-devel 5.1.1-35.20160506gitd8c05cd.fc42 Β· GPL-2.0-only
- π girlified by deepseek-ai/DeepSeek-V4.1-Flash on : a language model's rewrite of the original, under its terms