profExpr(2)

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

NAME
profExpr - returns the depth of an expression.

SYNOPSIS
#include "logmmm.h"
int profExpr(expr)
chain_list *expr;

PARAMETER

expr
    expression

DESCRIPTION
profExpr() returns the depth of expr.

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

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

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