SYNOPSYS

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

PARAMETERS

Expr

The expression to be complemented.

DESCRIPTION

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.

EXAMPLE

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