.\"   $Id: reorderbddsystemsimple.3,v 1.1 2002/03/18 11:26:50 ludo Exp $
.\" @(#)reorderbddsystemsimple.2 2.7 96/07/02 ; Labo masi cao-vlsi; Author : Jacomme Ludovic
.TH REORDERBDDSYSTEMSIMPLE 3 "October 1, 1997" "ASIM/LIP6" "BDD FUNCTIONS"
.SH NAME
reorderbddsystemsimple \- reorders the \fBbdd\fP nodes of a \fBbdd\fP system.
.so jessie/alliance/alc_origin.1.en.gz
.SH SYNOPSYS
.nf
.if n \{\
.ft B \}
.if t \{\
.ft CR \}
#include "bdd101.h"
void reorderbddsystemsimple( BddSystem )
  bddsystem \(**BddSystem;
.ft R
.fi
.SH PARAMETERS
.TP 20
\fIBddSystem\fP
The \fBbdd\fP system.
.SH DESCRIPTION
\fBreorderbddsystemsimple\fP reorders all the \fBbdd\fP nodes of the
\fBbdd\fP system \fIBddSystem\fP, in order to minimize the total
number of \fBbdd\fP nodes.
If a null pointer is given, the default \fBbdd\fP system is used.
.br
.SH RETURN VALUE
\fBreorderbddsystemsimple\fP returns nothing.
.SH EXAMPLE
.ta 3n 6n 9n 12n 15n 18n 21n
.nf
.if n \{\
.ft B \}
.if t \{\
.ft CR \}
#include "bdd101.h"
   bddsystem \(**BddSystem;
   BddSystem = createbddsystem( 100, 1000, 100, 50000 );
   ...
   reorderbddsystemsimple( BddSystem );
   ...
   destroybddsystem( BddSystem );
.ft R
.fi
.SH SEE ALSO
.BR bdd (1)


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