DOKK / manpages / debian 10 / alliance / substdupablexpr.3.en
SUBSTDUPABLEXPR(3) ABL FUNCTIONS SUBSTDUPABLEXPR(3)

substdupablexpr - substitutes a given atom by an expression.

See the file buster/alliance/alc_origin.1.en.gz.

#include "abl101.h"
chain_list ∗substdupablexpr( Expr1, Name, Expr2 )

chain_list ∗Expr1;
char ∗Name;
chain_list ∗Expr2;

First expression.
Atom name.
Second expression.

substdupablexpr duplicates and substitutes Atom in Expr1 by Expr2.

substdupablexpr returns the duplicated and modified expression.

#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 );

abl(1), substablexpr(3).

See the file buster/alliance/alc_bug_report.1.en.gz.

October 1, 1997 ASIM/LIP6