Skip site navigation (1)Skip section navigation (2)

FreeBSD Manual Pages

  
 
  

home | help 
ADDBDDCIRCUITOUT(3)		 BDD FUNCTIONS		   ADDBDDCIRCUITOUT(3)

NAME
       addbddcircuitout	- adds an output in a bdd circuit.

SYNOPSIS
       #include	"bdd101.h"
       bddnode *addbddcircuitout( BddCircuit, OutputName, BddNode )
	 bddcircuit *BddCircuit;
	 char	    *OutputName;
	 bddnode    *BddNode;

PARAMETERS
       BddCircuit	   The bdd circuit.

       OutputName	   The name of the output.

       BddNode		   The bdd node	of the output.

DESCRIPTION
       addbddcircuitout	 adds  BddNode as an output OutputName in the bdd cir-
       cuit BddCircuit.	If a null pointer is given, the	default	bdd circuit is
       used.  If the output OutputName exists already, the number of  external
       reference  of  the  old node is decremented, and	the output node	is re-
       placed by the new one.

RETURN VALUE
       addbddcircuitout	returns	the node BddNode with its number  of  external
       reference incremented.

EXAMPLE
       #include	"bdd101.h"
	  bddsystem  *BddSystem;
	  bddcircuit *BddCircuit;
	  bddnode    *BddNode;
	  BddSystem  = createbddsystem(	100, 1000, 100,	50000 );
	  BddCircuit = createbddcircuit( "hello_world",	10, 10,	BddSystem );
	  ...
	  addbddcircuitout( (bddcircuit	*)0, "Out0", BddNode );
	  ...
	  BddNode = searchbddcircuitout( (bddcircuit *)0, "Out0" );
	  destroybddsystem( (bddsystem *)0 );
	  destroybddcircuit( (bddcircuit *)0 );

SEE ALSO
       bdd(1) searchbddcircuitout(3).

ASIM/LIP6			October	1, 1997		   ADDBDDCIRCUITOUT(3)

Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=addbddcircuitout&sektion=3&manpath=FreeBSD+Ports+15.0>

home | help