CREATEABLNOTEXPR(3)

💖 CREATEABLNOTEXPR 💖

okay so bestie, welcome to createablnotexpr from the ABL FUNCTIONS section of the manual (that's manual page 3, iykyk) — the little function that takes your expression and just... flips it. complements it. gives it the ✨not✨ treatment.

---

🌸 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. 🇫🇷 iconic academic excellence, no cap.

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

---

✨ SYNOPSIS ✨

#include "abl101.h"
chain_list ∗createablnotexpr( Expr )
  chain_list ∗Expr;

---

🎀 PARAMETERS 🎀

• Expr — the expression you want complemented. the one getting the ✨not✨ glow-up.

---

💅 DESCRIPTION 💅

createablnotexpr complements the expression Expr and eventually does a simplification. so like, it's not just flipping a bit and calling it a day — it may also tidy things up while it's at it. lowkey overachiever behavior.

⚠️ THE BIG ONE, FR FR: the expression pointer Expr MUSTN'T be used after the call to this function. like, don't touch it, don't look at it, don't reference it in your notes. it's gone, bestie. the function took it. respect the boundary. 💀

---

🦋 RETURN VALUE 🦋

createablnotexpr returns the new complemented expression. fresh out of the function, ready to be your new main character. 👑

---

🌈 EXAMPLE 🌈

#include "abl101.h"
   chain_list ∗ExprA;
   chain_list ∗ExprNotA;
   ExprA = createablatom( "a" );
   ExprNotA = createablnotexpr( ExprA );

look at that. ExprA goes in, ExprNotA comes out, and ExprA is never spoken of again. 🫶 that's the whole vibe.

---

💜 SEE ALSO 💜

• abl(1)
• createablatom(3)
• createabloper(3)
• createablbinexpr(3)
• createablunaryexpr(3)
• createablxorbinexpr(3)
• addablhexpr(3)
• addablqexpr(3)

go read the whole friend group, they all hang out together. 🧚

---

😭 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 literally asking — if something's broken or the docs are giving nothing, tell them. constructive feedback only tho, we're not mean in this household. 🙈

---

and that's the page, bestie!! 🌸 go complement something and remember: once you hand over that Expr pointer, it's not yours anymore. periodt. 💅

this lil doc drop came to you courtesy of ASIM/LIP6, dated October 1, 1997 — vintage but still slaying, and yes, that's the very same CREATEABLNOTEXPR(3) you came here for. 🎀✨