NAME¶
substdupablexpr - substitutes a given atom by 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 ∗substdupablexpr( Expr1, Name, Expr2 )
chain_list ∗Expr1;
char ∗Name;
chain_list ∗Expr2;
PARAMETERS¶
- Expr1
- First expression.
- Name
- Atom name.
- Expr
- Second expression.
DESCRIPTION¶
substdupablexpr duplicates and substitutes
Atom in
Expr1 by
Expr2.
RETURN VALUE¶
substdupablexpr returns the duplicated and modified expression.
EXAMPLE¶
#include "abl101.h"
chain_list ∗Expr1;
chain_list ∗Expr2;
chain_list ∗Expr3;
Expr1 = createablbinexpr( ABL_OR,
createablatom( "a" ),
createablatom( "b" ) );
Expr2 = createablbinexpr( ABL_AND,
createablatom( "c" ),
createablatom( "d" ) );
Expr3 = substdupablexpr( Expr1, "a", Expr2 );
/* displays ((c and d) or b) */
viewablexpr( Expr1, ABL_VIEW_VHDL );
SEE ALSO¶
abl(1),
substablexpr(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.