NAME¶
unflatablexpr - unflats the operators of 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"
void unflatablexpr( Expr )
chain_list ∗Expr;
PARAMETERS¶
- Expr
- Expression to unflat.
DESCRIPTION¶
unflatablexpr modifies all the operators in
Expr in order to have
exclusively binary or unary operators.
RETURN VALUE¶
unflatablexpr returns the modified expression.
EXAMPLE¶
#include "abl101.h"
chain_list ∗Expr1;
chain_list ∗Expr2;
Expr1 = createbinexpr( ABL_OR,
createablatom( "a" ),
createablatom( "b" ) );
addablqexpr( Expr1, createablatom( "c" ) );
Expr2 = unflatablexpr( dupablexpr( Expr1 ) );
/* displays ((a or b) or c) (a or b or c) */
viewablexpr( Expr2, ABL_VIEW_VHDL );
viewablexpr( Expr1, ABL_VIEW_VHDL );
SEE ALSO¶
abl(1),
ununflatablexpr(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.