.\"   $Id: convertbddnodesumabl.3,v 1.1 2002/03/18 11:26:50 ludo Exp $
.\" @(#)convertbddnodesumabl.2 2.7 96/07/02 ; Labo masi cao-vlsi; Author : Jacomme Ludovic
.TH CONVERTBDDNODESUMABL 3 "October 1, 1997" "ASIM/LIP6" "BDD FUNCTIONS"
.SH NAME
convertbddnodesumabl \- converts a \fBbdd\fP node to an \fBabl\fP expression.

.so buster/alliance/alc_origin.1.en.gz
.SH SYNOPSYS
.nf
.if n \{\
.ft B \}
.if t \{\
.ft CR \}
#include "bdd101.h"
chain_list *convertbddnodesumabl( BddSystem, NameArray, IndexArray, BddNode )
  bddsystem \(**BddSystem;
  char     \(**\(**NameArray;
  bddindex  \(**IndexArray;
  bddnode   \(**BddNode;
.ft R
.fi
.SH PARAMETERS
.TP 20
\fIBddSystem\fP
The \fBbdd\fP system.
.TP
\fINameArray\fP
The array of names.
.TP
\fIIndexArray\fP
The array of indexes.
.TP
\fIBddNode\fP
The \fBbdd\fP node to convert.
.SH DESCRIPTION
\fBconvertbddnodesumabl\fP converts the \fBbdd\fP node
to a non optimal \fBabl\fP expression in the \fBbdd\fP system \fIBddSystem\fP.
If a null pointer is given, the default \fBbdd\fP system is used.
The \fINameArray\fP, and \fIIndexArray\fP parameters are used
to translate the variable nodes into atomic expressions.
The array \fINameArray\fP is list of names.
The array \fIIndexArray\fP does the correspondence between a \fBbdd\fP node 
index and a slot in the \fINameArray\fP. If the \fIIndexArray\fP parameter
is a null pointer, then the name of the \fBbdd\fP index BDD_INDEX_MIN is assumed
to be the first slot of the \fINameArray\fP, and so on.
.br
.SH RETURN VALUE
\fBconvertbddnodesumabl\fP returns a pointer to the \fBabl\fP expression translated.
.SH EXAMPLE
.ta 3n 6n 9n 12n 15n 18n 21n
.nf
.if n \{\
.ft B \}
.if t \{\
.ft CR \}
#include "bdd101.h"
   bddsystem  \(**BddSystem;
   bddnode    \(**BddNode;
   chain_list \(**Expr;
   char       \(**NameArray[ 1 ];
   BddSystem = createbddsystem( 100, 1000, 100, 50000 );
   BddNode   = addbddvarlast( BddSystem );
   NameArray[ 0 ] = namealloc( "i0" );
   Expr = convertbddnodesumabl( BddSystem, NameArray, (bddindex \(**)0,  BddNode );
   /* displays i0 */
   viewablexpr( Expr, ABL_VIEW_VHDL );
   freeablexpr( Expr );
   destroybddsystem( (bddsystem \(**)0 );
.ft R
.fi
.SH SEE ALSO
.BR bdd (1),
.BR abl (1).


.so buster/alliance/alc_bug_report.1.en.gz