POLARABLEXPR(3)

💅 POLARABLEXPR — bestie edition

okay so this is a page from ABL FUNCTIONS, section 3 of the manual, and it's literally about moving inverters down to the atomic level. iconic behavior honestly.

---

✨ NAME ✨

polarablexpr — moves inverters to the atomic level. that's it, that's the whole job. no cap. 🦋

---

🌸 ORIGIN 🌸

This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at 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 — Expression to modify. it's getting a lil glow-up bestie 💅
• Polar — Expression polarity. the vibe check for your expression fr fr.

---

👑 DESCRIPTION 👑

okay so polarablexpr modifies Expr by moving down the inverters to the atomic level. it's giving "everyone get to your assigned seats" energy. ✨

polarablexpr applies the Morgan's laws. yes, those Morgan's laws. she ate and left no crumbs. 🔥

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

⚠️ The expression pointer Expr MUSTN'T be used after the call to this function. like, literally do not touch it. it's gone. it belongs to the function now. 🫶 not me warning you twice. please. 😭

---

🌈 RETURN VALUE 🌈

polarablexpr returns the modified expression. main character returns. 👑

---

🍓 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 );

she literally returns a. the way that worked out. 💀✨

---

🧚 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. fr fr, they're asking. slide into their inbox bestie, it's lowkey a whole vibe. 📬

---

🌟 so anyway that's polarablexpr from ASIM/LIP6, dated October 1, 1997 — yes the date is ancient but the energy is forever. stay slay, protect your Expr pointer, and remember: after the call, she's not yours anymore. periodt. 💅🦋💖