Query: createablatom
OS: debian
Section: 3
Format: Original Unix Latex Style Formatted with HTML and a Horizontal Scroll Bar
CREATEABLATOM(3) ABL FUNCTIONS CREATEABLATOM(3)NAMEcreateablatom - creates an atomic expression.ORIGINThis software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Universite Pierre et Marie CURIE, in Paris, France. Web : http://asim.lip6.fr/recherche/alliance/ E-mail : alliance-users@asim.lip6.frSYNOPSYS#include "abl101.h" chain_list *createablatom( Atom ) char *Atom;PARAMETERSAtom Name of the atom.DESCRIPTIONcreateablatom creates an atomic expression with the name Atom. This function uses namealloc with Atom as parameter.RETURN VALUEcreateablatom returns a pointer to the new atomic expression.EXAMPLE#include "abl101.h" chain_list *ExprA; chain_list *ExprB; chain_list *ExprAorB; ExprA = createablatom( "a" ); ExprB = createablatom( "b" ); ExprAorB = createablbinexpr( ABL_OR, ExprA, ExprB );SEE ALSOabl(1), createabloper(3), createablnotexpr(3), createablbinexpr(3), createablunaryexpr(3), createablxorbinexpr(3), addablhexpr(3), addablq- expr(3).BUG REPORTThis tool is under development at the ASIM department of the LIP6 laboratory. We need your feedback to improve documentation and tools.ASIM/LIP6 October 1, 1997 CREATEABLATOM(3)