POLARDUPABLEXPR(3)

💖 POLARDUPABLEXPR — the ABL FUNCTIONS era 💖

okay bestie, sit down, hydrate, because we're talking about polardupablexpr from the ABL FUNCTIONS manual (section 3, obviously, we stay in section 3 around here) 🎀

---

✨ NAME ✨

polardupablexpr — duplicates an expression and moves down the inverters. that's it, that's the whole vibe, no cap 💅

---

🌸 ORIGIN 🌸

okay so this software? it belongs to the ALLIANCE CAD SYSTEM, and it was developed by the ASIM team at the LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France. Paris!! the main character city!! 👑

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

---

🦋 SYNOPSIS 🦋

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

---

💜 PARAMETERS 💜

• Expr — the expression you're about to modify. yes, it gets modified in place, she's not shy 🫶
• Polar — the expression polarity. it matters, iykyk.

---

🌈 DESCRIPTION 🌈

so polardupablexpr modifies Expr by moving down the inverters to the atomic level. like, all the way down. the inverters are going to the atomic level and they're staying there. 💀

and here's the slay part: polardupablexpr applies Morgan's laws. yes, those Morgan's laws. iconic behaviour.

and if Polar is equal to ABL_POLAR_NEGATIVE, the function returns the modified expression after having complemented it. so basically it complements it and then hands it back to you. periodt. ✨

---

🍓 RETURN VALUE 🍓

polardupablexpr returns the modified expression. that's the whole return value. she gives you the modified expression and nothing else. 💖

---

🧚 EXAMPLE 🧚

look at this little code moment, it's giving tutorial core:

#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 = polardupablexpr( Expr2, ABL_POLAR_POSITIVE );
  /* displays  a */
  viewablexpr( Expr1, ABL_VIEW_VHDL );

double negation? gone. cancelled. reduced to a. we love a glow-up 🔥

---

💫 SEE ALSO 💫

• abl(1)

---

😭 BUG REPORT 😭

ngl, this tool is under development at the ASIM department of the LIP6 laboratory. they need your feedback to improve documentation and tools. so like… tell them things?? they're literally asking 🥺

---

and that's the whole page, bestie!! this little gem is from ASIM/LIP6, dated October 1, 1997 (a vintage queen, born in 1997, we love a Scorpio-adjacent legend), and yes, the manual page name is POLARDUPABLEXPR(3) in case you forgot — which you didn't, because you read the whole thing. obsessed with you fr fr 💅💖✨