createablnotexpr3

Synopsys

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

Parameters

Expr

The expression to be complemented.

Overview

createablnotexpr complements the expression Expr and eventually does a simplification. The expression pointer Expr MUSTN'T be used after the call to this function.

Return value

createablnotexpr returns the new complemented expression.

Examples

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