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.

SYNOPSYS
       #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)

NAME | SYNOPSYS | PARAMETERS | DESCRIPTION | RETURN VALUE | EXAMPLE | SEE ALSO

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

home | help