

Functionnal #define
ATOM  
 checks the kind of an expression (atomic or operator expression).  
CAR   returns the DATA pointer of a doublet. 
CADR   returns the DATA pointer of the NEXT pointer of a doublet. 
CDR   returns the NEXT pointer of a doublet. 
OPER   returns the operator number of an operator expression. 
VALUE_ATOM   returns the associated char * of an atomic expression. 
Functions and procedures
addHExpr  
 adds a new arguments at the head of an operator expression.  
addQExpr   adds a new arguments at the queue of an operator expression. 
anyExpr   returns the value of a logical OR applied on the results of the application of a function on the arguments of an operator expression. 
changeOperExpr   changes the operator of the head of an expression. 
charToOper   converts an operator string into an operator number. 
copyExpr   copies an expression. 
createAtom   creates an atomic expression. 
createBinExpr   creates a binary operator expression with an eventual merging of the operator. 
createExpr   creates the head of an operator expression. 
deleteNumExpr   removes the ith argument in an operator expression. 
devXor2Expr   converts XOR 2 to ORAND. 
devXorExpr   removes XOR in an expression. 
displayExpr   displays an expression in a prefixed notation. 
displayInfExpr   displays an expression in infixed notation. 
equalExpr   checks that two expressions are strictly equal. 
equalVarExpr   checks that two expressions are syntactically equal. 
everyExpr   returns the value of a logical AND applied on the results of the application of a function on the arguments of an operator expression. 
exprToChar   converts an expression into a string. 
charToExpr   converts a string into an expression. 
flatArityExpr   flattens the operators of an expression. 
flatPolarityExpr   translates the inverters of an expression to the level of atomic expressions. 
freeExpr   frees an expression. 
identExpr   gives an identifier from an operator expression. 
lengthExpr   returns the number of arguments in an expression. 
mapCarExpr   creates a new expression by applying a function to all arguments of an operator expression. 
mapExpr   applies a procedure to all the arguments of an operator expression. 
maxExpr   returns the highest argument of an operator expression. 
minExpr   returns the lowest argument of an operator expression. 
normExpr   normalizes an expression. 
notExpr   complements an expression and eventually does a simplification. 
numberAtomExpr   returns the number of atoms in an expression. 
numberOccExpr   returns the number of time an atom appears in an expression. 
numberOperBinExpr   returns the number of equivalent binary operators in an expression. 
operToChar   converts an operator number into an operator string. 
profExpr   returns the depth of an expression. 
profAOExpr   returns the depth of an expression without taking the inverters into account. 
searchExpr   searches for a specific atom in an expression. 
searchNumExpr   fetches the ith argument in an operator expression. 
searchOperExpr   searches for an operator in an expression. 
simplif10Expr   makes simplifications on an expression including constant atomic expressions. 
simplifNotExpr   makes simplifications on an expression including inverters. 
sortExpr   sorts an expression. 
substExpr   copies an expression by substituting a given atom by an expression. 
substPhyExpr   substitutes an atomic expression by an expression within an expression. 
supportChain_listExpr  
 returns the support of an expression in a chain_list.  
supportPtype_listExpr  
 returns the support of an expression in a ptype_list.  
wPMExpr 
 returns 1 if the pattern matching is possible between two expressions.

log(1), mbk(1), addHExpr(3), addQExpr(3), anyExpr(3), changeOperExpr(3), charToExpr(3), charToOper(3), copyExpr(3), createAtom(3), createBinExpr(3), createExpr(3), deleteNumExpr(3), devXor2Expr(3), devXorExpr(3), displayExpr(3), displayInfExpr(3), equalExpr(3), equalVarExpr(3), everyExpr(3), exprToChar(3), flatArityExpr(3), flatPolarityExpr(3), freeExpr(3), identExpr(3), lengthExpr(3), mapCarExpr(3), mapExpr(3), maxExpr(3), minExpr(3), notExpr(3), normExpr(3), numberAtomExpr(3), numberOccExpr(3), numberOperBinExpr(3), operToChar(3), profExpr(3), profAOExpr(3), searchExpr(3), searchNumExpr(3), searchOperExpr(3), simplif10Expr(3), simplifNotExpr(3), sortExpr(3), substExpr(3), substPhyExpr(3), supportChain_listExpr(3), supportPtype_listExpr(3). PMExpr(3).
[Include document man1/alc_bug_report.1]
ASIM/LIP6  ABL (1)  October 1, 1997 
Visit the GSP FreeBSD Man Page Interface.
Output converted with manServer 1.07.