createablbinexpr(3) [debian man page]

CREATEABLBINEXPR(3)						   ABL FUNCTIONS					       CREATEABLBINEXPR(3)

NAME

       createablbinexpr - creates a binary operator 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 *createablbinexpr( Oper, Expr1, Expr2 )
	 long	     Oper;
	 chain_list *Expr1;
	 chain_list *Expr2;

PARAMETERS

       Oper		   The operator number.

       Expr1		   The first expression.

       Expr2		   The second expression.

DESCRIPTION

       createablbinexpr creates the binary operator expression Expr1 Operator Expr2.  If the operator of Expr1	and/or	Expr2,	and  Operator  are
       identicals  createablbinexpr merges eventually the sub-expressions.  The expression pointers Expr1 and Expr2 MUSTN'T be used after the call
       to this function.

RETURN VALUE

       createablbinexpr returns a pointer to the new operator expression.

ERRORS

       "ablcreate: bad operator xx !",
	      Operator must be defined and must be a binary operator.

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) createablatom(3), createabloper(3), createablxorbinexpr(3),  createablunaryexpr(3),  createablnotexpr(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					       CREATEABLBINEXPR(3)

CONVERTBDDCIRCUITABL(3) 					   BDD FUNCTIONS					   CONVERTBDDCIRCUITABL(3)

NAME

       convertbddcircuitabl - converts a bdd node to an abl 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 "bdd101.h"
       chain_list *convertbddcircuitabl( BddCircuit, BddNode )
	 bddcircuit *BddCircuit;
	 bddnode    *BddNode;

PARAMETERS

       BddCircuit	   The bdd circuit.

       BddNode		   The bdd node to convert.

DESCRIPTION

       convertbddcircuitabl converts the bdd node to an abl expression. The BddCircuit is used to translate the variable nodes into atomic expres-
       sions.  If a null pointer is given, the default bdd circuit is used.

RETURN VALUE

       convertbddcircuitabl returns a pointer to the abl expression translated.

EXAMPLE

       #include "bdd101.h"
	  bddsystem  *BddSystem;
	  bddcircuit *BddCircuit;
	  bddnode    *BddNode;
	  chain_list *Expr;
	  BddSystem  = createbddsystem( 100, 1000, 100, 50000 );
	  BddCircuit = createbddcircuit( "hello_world", 10, 10, BddSystem );
	  Expr = createablbinexpr( ABL_AND,
				   createablatom( "i0" ),
				   createablatom( "i1" ) );
	  BddNode = addbddcircuitabl( BddCircuit, Expr );
	  freeablexpr( Expr );
	  Expr = convertbddcircuitabl( BddCircuit, BddNode );
	  /* displays (i0 and i1) */
	  viewablexpr( Expr, ABL_VIEW_VHDL );
	  freeablexpr( Expr );
	  destroybddsystem( (bddsystem *)0 );
	  destroybddcircuit( (bddcircuit *)0 );

SEE ALSO

       bdd(1), abl(1), addbddcircuitabl(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					   CONVERTBDDCIRCUITABL(3)