Scroll to navigation

CREATEABLATOM(3) ABL FUNCTIONS CREATEABLATOM(3)

NAME

createablatom - creates an atomic expression.

ORIGIN

This software belongs to the ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Université Pierre et Marie CURIE, in Paris, France.

Web : http://asim.lip6.fr/recherche/alliance/
E-mail : alliance-users@asim.lip6.fr

SYNOPSYS

#include "abl101.h"
chain_list ∗createablatom( Atom )

char ∗Atom;

PARAMETERS

Name of the atom.

DESCRIPTION

createablatom creates an atomic expression with the name Atom. This function uses namealloc with Atom as parameter.

RETURN VALUE

createablatom 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 ALSO

abl(1), createabloper(3), createablnotexpr(3), createablbinexpr(3), createablunaryexpr(3), createablxorbinexpr(3), addablhexpr(3), addablqexpr(3).

BUG REPORT

This tool is under development at the ASIM department of the LIP6 laboratory.
We need your feedback to improve documentation and tools.

October 1, 1997 ASIM/LIP6