Provided by: alliance_5.0-20120515-6_amd64 

NAME
createablnotexpr - complements an expression.
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 );
SEE ALSO
abl(1) createablatom(3), createabloper(3), createablbinexpr(3), createablunaryexpr(3),
createablxorbinexpr(3), addablhexpr(3), addablqexpr(3).
ASIM/LIP6 October 1, 1997 CREATEABLNOTEXPR(3)