CREATEABLNOTEXPR(3)

🌸 NAME 🌸

okay bestie, this is createablnotexpr(3) from the ABL FUNCTIONS crew — it complements an expression. That's the whole name-section tea. 💅

✨ 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 🦋

here's the signature, no cap:

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

🎀 PARAMETERS 🎀

• Expr — the expression to be complemented. that's the one getting the not-treatment, bestie.

💅 DESCRIPTION 💅

createablnotexpr complements the expression Expr and eventually does a simplification.

⚠️ bestie, listen: the expression pointer Expr MUSTN'T be used after the call to this function. Like, do not touch it after. That's the rule. 💀

🔥 RETURN VALUE 🔥

createablnotexpr returns the new complemented expression. slay. ✨

🌈 EXAMPLE 🌈

the vibe check example:

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

👑 SEE ALSO 👑

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

💀 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 want the feedback, bestie. 🫶

xoxo, ASIM/LIP6 · October 1, 1997 · CREATEABLNOTEXPR(3) 💜