NAME¶
createablnotexpr - complements an expression.
ORIGIN¶
This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at
LIP6 laboratory of Université 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), addablqexpr(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.