ISABLNAMEINEXPR(3)

πŸ“¦ version 5.1.1-unstable-2025-02, in nixos 26.05, nixpkgs unstable

πŸ’– ISABLNAMEINEXPR(3) β€” ABL FUNCTIONS πŸ’–

Okay bestie, welcome to the ISABLNAMEINEXPR(3) page from the ABL FUNCTIONS corner of the universe. We’re gonna test if a name shows up in an expression, and honestly? It’s giving tiny-but-iconic. ✨


πŸŽ€ OPER πŸŽ€

isablnameinexpr β€” tests if a name appears in an expression. That’s the whole assignment, fr fr. πŸ’…

🌸 ORIGIN 🌸

Okay so, lore time: 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, no cap. πŸ‘‘

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

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

✨ SYNOPSIS ✨

       #include "abl101.h"
       int isablnameinexpr( Expr, Name )
         chain_list βˆ—Expr;
         char       βˆ—Name;

πŸ¦‹ PARAMETERS πŸ¦‹

  • Expr β€” the expression where to search. Like, the place we’re looking in. πŸ”
  • Name β€” the name to search. The thing we’re looking for. πŸ’«

πŸ’… DESCRIPTION πŸ’…

isablnameinexpr tests if Name appears in Expr. That’s it, that’s the tea. 🍡

⭐ RETURN VALUE ⭐

isablnameinexpr returns 1 if Name appears in Expr and 0 otherwise. Clean, simple, slay. πŸ’–

πŸŽ€ EXAMPLE πŸŽ€

       #include "abl101.h"
         chain_list βˆ—Expr;
          Expr = createablbinexpr( ABL_AND,
                                   createablatom( "a" ),
                                   createablatom( "b" ) );
          /* displays   1 */
          printf( "%d", isablnameinexpr( Expr, "a" ) );

🌈 SEE ALSO 🌈

abl(1) β€” go peek, bestie. πŸ‘€

πŸ› 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, if something’s weird, tell them β€” feedback is self-care. 🫢


Mwah πŸ’‹ β€” this lil’ page is from ASIM/LIP6, dated October 1, 1997, and it’s the ISABLNAMEINEXPR(3) manual page. Bye bestie! 🌟

πŸ“¦ where this page comes from