SUBSTABLEXPR(3)

okay so bestie, welcome to SUBSTABLEXPR(3) from the ABL FUNCTIONS corner of the universe — it’s literally giving “swap an atom for an expression” energy. Let’s go. 💅✨

🎀 NAME 🎀

substablexpr — substitutes a given atom by an expression. That’s the assignment, and it ate. 💖

🌈 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. 🌸

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.
• Name — atom name.
• Expr — second expression. (This section literally calls it Expr, bestie; the synopsis is out here saying Expr2 😭.)

💜 DESCRIPTION 💜

substablexpr substitutes Atom in Expr1 by Expr2 — like a glow-up but for an expression. ✨

⚠️ The expression pointer Expr1 MUSTN’T be used after the call to this function. Not even a little. Don’t do it, fr fr. 🙈

👑 RETURN VALUE 👑

substablexpr returns the modified expression. That’s your new main-character expression. ✨

🍓 EXAMPLE 🍓

Here’s the page’s example, copied exactly so nothing gets lost:

       #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 ALSO 🦋

Go say hi to abl(1), substdupablexpr(3). 👀

💀 BUG REPORT 💀

This tool is under development at the ASIM department of the LIP6 laboratory. We need your feedback to improve documentation and tools. So like, tell them if something’s off, bestie. 🫶

xoxo, ASIM/LIP6 💖 — this page is dated October 1, 1997, and you just got the SUBSTABLEXPR(3) tour. 🎀