Scroll to navigation

ISABLEQUALEXPR(3) ABL FUNCTIONS ISABLEQUALEXPR(3)

NAME

isablequalexpr - tests if two expressions are strictly identicals.

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"
int isablequalexpr( Expr1, Expr2 )
  chain_list ∗Expr1;
  chain_list ∗Expr2;

PARAMETERS

Expr1
First expression.
Expr2
Second expression.

DESCRIPTION

isablequalexpr compares Expr1 and Expr2.

RETURN VALUE

if Expr1 and Expr2 are strictly identicals isablequalexpr returns 1 and 0 otherwise.

EXAMPLE

#include "abl101.h"
   chain_list ∗Expr1;
   chain_list ∗Expr2;
   Expr1 = createablbinexpr( ABL_AND,
                             createablatom( "a" ),
                             createablatom( "b" ) );
   Expr2 = createablbinexpr( ABL_AND,
                             createablatom( "a" ),
                             createablatom( "b" ) );
   /* displays 1 */
   printf( "%d", isablequalexpr( Expr1, Expr2 ) );

SEE ALSO

abl(1)

BUG REPORT

This tool is under development at the ASIM department of the LIP6 laboratory.
We need your feedback to improve documentation and tools.

October 1, 1997 ASIM/LIP6