GETABLEXPRSUPPORT(3)

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

✨ GETABLEXPRSUPPORT(3) ✨

okay bestie, welcome to GETABLEXPRSUPPORT(3) from the ABL FUNCTIONS section β€” this is the little function that gives you an expression’s support, and yes, we’re gonna get into it πŸ’…


πŸŽ€ NAME πŸŽ€

getablexprsupport - gives the expression's support.

🌸 ORIGIN 🌸

This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of UniversitοΏ½ Pierre and Marie CURIE, in Paris, France.

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

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

πŸ¦‹ SYNOPSIS πŸ¦‹

#include "abl101.h"
 void βˆ—getablexprsupport( Expr, Mode )
  chain_list βˆ—Expr;
  int         Mode;

πŸ’– PARAMETERS πŸ’–

  • Expr β€” Expression.
  • Mode β€” The returned support's mode.

✨ DESCRIPTION ✨

getablexprsupport gives the support of Expr. If Mode is ABL_SUPPORT_CHAIN the support is returned using chain_list else it is returned using ptype_list. The support must be freed using the freechain or freeptype functions.

bestie, do not forget the free. that’s the whole vibe check here 🫢

πŸ‘‘ RETURN VALUE πŸ‘‘

getablexprsupport returns a pointer to a chain_list or a ptype_list.

🌈 EXAMPLE 🌈

#include "abl101.h"
  chain_list βˆ—Expr;
  ptype_list βˆ—Support;
  ptype_list βˆ—ScanSupport;
  Expr = createablbinexpr( ABL_AND,
                           createablatom( "a" ),
                           createablatom( "b" ) );
  Support = getablexprsupport( Expr, ABL_SUPPORT_PTYPE );
  /* displays a b */
  for ( ScanSupport  = Support;
        ScanSupport != (ptype_list βˆ—)0;
        ScanSupport  = ScanSupport->NEXT )
  {
    printf( "%s ", (char *)ScanSupport->DATA );
  }
  freeptype( Support );

πŸ”₯ 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.


and that’s the page, bestie πŸ’œ β€” brought to you by ASIM/LIP6, dated October 1, 1997, and still serving GETABLEXPRSUPPORT(3) energy πŸŽ€βœ¨

πŸ“¦ where this page comes from