NAME¶
substablexpr - 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 ∗substablexpr( Expr1, Name, Expr2 )
chain_list ∗Expr1;
char ∗Name;
chain_list ∗Expr2;
PARAMETERS¶
- Expr1
- First expression.
- Name
- Atom name.
- Expr
- Second expression.
DESCRIPTION¶
substablexpr substitutes
Atom in
Expr1 by
Expr2. The
expression pointer
Expr1 MUSTN'T be used after the call to this
function.
RETURN VALUE¶
substablexpr returns the modified expression.
EXAMPLE¶
#include "abl101.h"
chain_list ∗Expr1;
chain_list ∗Expr2;
Expr1 = createablbinexpr( ABL_OR,
createablatom( "a" ),
createablatom( "b" ) );
Expr2 = createablbinexpr( ABL_AND,
createablatom( "c" ),
createablatom( "d" ) );
Expr1 = substablexpr( Expr1, "a", Expr2 );
/* displays ((c and d) or b) */
viewablexpr( Expr1, ABL_VIEW_VHDL );
SEE ALSO¶
abl(1),
substdupablexpr(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.