61 lines
1.6 KiB
Groff
61 lines
1.6 KiB
Groff
.\" $Id: incbddrefext.3,v 1.1 2002/03/18 11:26:50 ludo Exp $
|
|
.\" @(#)incbddrefext.2 2.7 96/07/02 ; Labo masi cao-vlsi; Author : Jacomme Ludovic
|
|
.TH INCBDDREFEXT 3 "October 1, 1997" "ASIM/LIP6" "BDD FUNCTIONS"
|
|
.SH NAME
|
|
incbddrefext \- increments the external reference of a \fBbdd\fP node.
|
|
.so man1/alc_origin.1
|
|
.SH SYNOPSYS
|
|
.nf
|
|
.if n \{\
|
|
.ft B \}
|
|
.if t \{\
|
|
.ft CR \}
|
|
#include "bdd101.h"
|
|
bddnode \(**incbddrefext( BddNode )
|
|
bddnode \(**BddNode;
|
|
.ft R
|
|
.fi
|
|
.SH PARAMETERS
|
|
.TP 20
|
|
\fIBddNode\fP
|
|
The \fBbdd\fP node.
|
|
.SH DESCRIPTION
|
|
\fBincbddrefext\fP increments the number of external reference
|
|
of the \fBbdd\fP node \fIBddNode\fP.
|
|
.br
|
|
.SH RETURN VALUE
|
|
\fBincbddrefext\fP returns the \fIBddNode\fP pointer.
|
|
.SH EXAMPLE
|
|
.ta 3n 6n 9n 12n 15n 18n 21n
|
|
.nf
|
|
.if n \{\
|
|
.ft B \}
|
|
.if t \{\
|
|
.ft CR \}
|
|
#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 );
|
|
BddNode = addbddcircuitin( (bddcircuit \(**)0, "i0", 0, BDD_IN_MODE_FIRST );
|
|
BddNode = addbddnode( (bddsystem \(**)0, BddNode->INDEX, BddNode->LOW, BddNode->HIGH );
|
|
Expr = convertbddcircuitabl( (bddcircuit \(**)0, BddNode );
|
|
incbddrefext( BddNode );
|
|
/* displays Node VAR: 0 INDEX: 2 MARK: 0 REF_EXT: 2 REF_INT: 0 */
|
|
viewbddnode( (bddsystem \(**)0, BddNode );
|
|
/* displays (not i0) */
|
|
viewablexpr( Expr, ABL_VIEW_VHDL );
|
|
freeablexpr( Expr );
|
|
destroybddsystem( (bddsystem \(**)0 );
|
|
destroybddcircuit( (bddcircuit \(**)0 );
|
|
.ft R
|
|
.fi
|
|
.SH SEE ALSO
|
|
.BR bdd (1)
|
|
|
|
|
|
.so man1/alc_bug_report.1
|
|
|