simpablexpr(3) [debian man page]

SIMPABLEXPR(3)							   ABL FUNCTIONS						    SIMPABLEXPR(3)

NAME

       simpablexpr - simplies an expression.

ORIGIN

       This  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.fr

SYNOPSYS

       #include "abl101.h"
       chain_list *simpablexpr( Expr )
	 chain_list *Expr;

PARAMETERS

       Expr		   Expression to simplfy.

DESCRIPTION

       simpablexpr simplifies Expr.  The expression pointer Expr MUSTN'T be used after the call to this function.

RETURN VALUE

       simpablexpr returns a pointer to the simplied expression.

EXAMPLE

       #include "abl101.h"
	 chain_list *Expr;
	 Expr = createablbinexpr( ABL_AND,
				  createablatom( "'0'" ),
				  createablatom( "'1'" ) );
	 Expr = simpablexpr( Expr );
	 /* displays '0' */
	 viewablexpr( Expr, ABL_VIEW_VHDL );

SEE ALSO

       abl(1), simpdupablexpr(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.

ASIM
/LIP6							  October 1, 1997						    SIMPABLEXPR(3)

VIEWABLEXPR(3)							   ABL FUNCTIONS						    VIEWABLEXPR(3)

NAME

       viewablexpr - displays an expression.

ORIGIN

       This  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.fr

SYNOPSYS

       #include "abl101.h"
       void viewablexpr( Expr, Mode )
	 chain_list *Expr;
	 int	     Mode;

PARAMETERS

       Expr		   Expression to display.

       Mode		   The notation type.

DESCRIPTION

       viewablexpr displays Expr in the notation specified by Mode. The following notation types are  available  ABL_VIEW_INFIX,  ABL_VIEW_PREFIX,
       ABL_VIEW_POSTFIX or ABL_VIEW_VHDL.

RETURN VALUE

       viewablexpr returns nothing.

EXAMPLE

       #include "abl101.h"
	 chain_list *Expr;
	 Expr = createabloper( ABL_OR );
	 addablhexpr( Expr, createablatom( "a" ) );
	 addablhexpr( Expr, createablatom( "b" ) );
	 /* displays (a or b) */
	 viewablexpr( Expr, ABL_VIEW_VHDL );

SEE ALSO

       abl(1), viewablexprstr(3), viewablexprfile(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.

ASIM
/LIP6							  October 1, 1997						    VIEWABLEXPR(3)