POLARABLEXPR(3)

🎀 POLARABLEXPR(3) — ABL FUNCTIONS 🎀

okay bestie, welcome to the POLARABLEXPR(3) page from ABL FUNCTIONS — this one's about polarablexpr, and it's giving “tiny function, whole lotta polarity” energy. 🦋

✨ NAME ✨

polarablexpr — moves inverters to the atomic level. 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. 🥖🌸

Web: http://asim.lip6.fr/recherche/alliance/ E-mail: alliance-users@asim.lip6.fr

🫶 SYNOPSIS 🫶

#include "abl101.h"
chain_list ∗polarablexpr( Expr, Polar )
  chain_list ∗Expr;
  int         Polar;

🍓 PARAMETERS 🍓

• Expr — the expression to modify. this is the one getting the glow-up. ✨
• Polar — the expression polarity. it decides the vibe of the output. 🌈

💜 DESCRIPTION 💜

polarablexpr modifies Expr by moving down the inverters to the atomic level. it applies the Morgan's laws. no cap, that's the whole move. 🧚

If Polar is equal to ABL_POLAR_NEGATIVE, the function returns the modified expression after having complemented it. 🎀

⚠️ bestie, listen to me: the expression pointer Expr MUSTN'T be used after the call to this function. like, do not touch it. not even a little. 😭💀

👑 RETURN VALUE 👑

polarablexpr returns the modified expression. that's it, that's the return value. iconic. 💅

🔥 EXAMPLE 🔥

#include "abl101.h"
  chain_list ∗Expr1;
  chain_list ∗Expr2;
  Expr1 = createabloper( ABL_NOT );
  Expr2 = createabloper( ABL_NOT );
  addablhexpr( Expr1, createablatom( "a" ) );
  addablhexpr( Expr2, Expr1 );
  Expr1 = polarablexpr( Expr2, ABL_POLAR_POSITIVE );
  /* displays  a */
  viewablexpr( Expr1, ABL_VIEW_VHDL );

🌸 SEE ALSO 🌸

• abl(1) — go say hi. 🫶

🐛 BUG REPORT 🐛

This tool is under development at the ASIM department of the LIP6 laboratory. they need your feedback to improve documentation and tools. so if something's weird, tell them, bestie. 💌

signed, sealed, slayed by ASIM/LIP6 on October 1, 1997 — POLARABLEXPR(3), out. 💖✨