supportPtype_listExpr(2)

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

NAME
supportPtype_listExpr - returns the support of an expression in a ptype_list.

SYNOPSIS
#include "logmmm.h"
ptype_list *supportPtype_listExpr(expr)
chain_list *expr;

PARAMETER

expr
    expression

DESCRIPTION
supportPtype_listExpr() creates a ptype_list wich contains all the atoms appearing in expr. Each atom in chain_list appears only once in it.

EXAMPLE
#include "mutnnn.h"		/* mbk utilities */
#include "logmmm.h"
chain_list *expr;
ptype_list *pt;
expr = createExpr(OR);
addQExpr(expr,createAtom("a"));
addQExpr(expr,createAtom("b"));
addQExpr(expr,createAtom("a"));
pt = supportPtype_listExpr(expr);
while (pt)
   {
   printf("%s ",pt->DATA);
   pt = pt->NEXT;
   }
/* it will display
a b
*/
freeExpr(expr);
freeptype(pt);		/* mbk function */

SEE ALSO
log(1), abl(1), supportChain_listExpr(2).

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