debian man page for createablnotexpr

CREATEABLNOTEXPR(3)						   ABL FUNCTIONS					       CREATEABLNOTEXPR(3)

NAME
       createablnotexpr - complements 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 *createablnotexpr( Expr )
	 chain_list *Expr;

PARAMETERS
       Expr		   The expression to be complemented.

DESCRIPTION
       createablnotexpr complements the expression Expr and eventually does a simplification. The expression pointer Expr MUSTN'T  be  used  after
       the call to this function.

RETURN VALUE
       createablnotexpr returns the new complemented expression.

EXAMPLE
       #include "abl101.h"
	  chain_list *ExprA;
	  chain_list *ExprNotA;
	  ExprA = createablatom( "a" );
	  ExprNotA = createablnotexpr( ExprA );

SEE ALSO
       abl(1)  createablatom(3),  createabloper(3),  createablbinexpr(3),  createablunaryexpr(3), createablxorbinexpr(3), addablhexpr(3), addablq-
       expr(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					       CREATEABLNOTEXPR(3)