CREATEABLNOTEXPR(3) ABL FUNCTIONS CREATEABLNOTEXPR(3)
NAME
createablnotexpr - complements an expression.
ORIGIN
This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Universite Pierre et Marie CURIE, in
Paris, France.
Web : http://asim.lip6.fr/recherche/alliance/
E-mail : alliance-users@asim.lip6.fr
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), addablq-
expr(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.
ASIM
/LIP6 October 1, 1997 CREATEABLNOTEXPR(3)
