searchExpr(2)

ORIGIN
Cao-vlsi libraries, log package, libablmmm.a

NAME
searchExpr - searches for a specific atom in an expression.

SYNOPSIS
#include "logmmm.h"
int searchExpr(expr,name)
chain_list *expr;
char *name;

PARAMETERS

expr
    expression

name
    name to look for

DESCRIPTION
searchExpr() searches for name in expr and returns 1 if name is an atom of expr.

EXAMPLE
#include "mutnnn.h"		/* mbk utilities */
#include "logmmm.h"
chain_list *expr;
expr = createExpr(OR);
addQExpr(expr,createAtom("a"));
addQExpr(expr,createAtom("b"));
printf("%d",searchExpr(expr,"a"));
/* it will display
1
*/
freeExpr(expr);

SEE ALSO
log(1), abl(1), searchOperExpr(2), equalExpr(2), equalVarExpr(2), lengthExpr(2), profExpr(2), numberAtomExpr(2).

SUPPORT STATUS
if bugs arise, please e-mail to cao-vlsi@masi.ibp.fr