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).