SUBSTDUPABLEXPR(3)

💖 NAME 💖

okay so you opened SUBSTDUPABLEXPR(3), from the ABL FUNCTIONS manual, and bestie this one is literally about substituting an atom by an expression. Slay. ✨

substdupablexpr — substitutes a given atom by an expression. Periodt.

🌈 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 institutional lore, no cap.

Web: http://asim.lip6.fr/recherche/alliance/

E-mail: alliance-users@asim.lip6.fr

✨ SYNOPSIS ✨

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

🎀 PARAMETERS 🎀

• Expr1 — the first expression. Your starting point, your main character.
• Name — the atom name. The little atom we're looking for.
• Expr — the second expression. Yep, the page labels this one Expr here while the synopsis is out there calling it Expr2; that's just the page's vibe, iykyk.

🦋 DESCRIPTION 🦋

substdupablexpr duplicates and substitutes Atom in Expr1 by Expr2.

That's it. That's the whole move. It duplicates the expression and does the substitution, and honestly? we love a focused function. 💅

🔥 RETURN VALUE 🔥

substdupablexpr returns the duplicated and modified expression. So you get the new expression back, already changed up. 🫶

🍓 EXAMPLE 🍓

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

👑 SEE ALSO 👑

abl(1), substtablexpr(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. fr fr, they're asking, so tell them. 🫶

mwah 💖 this page is brought to you by ASIM/LIP6, dated October 1, 1997, and that's the cute little source/date sign-off at the bottom. bestie, we are so done here. 🎀✨