debian man page for simpablexpr

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)