debian man page for addbddcircuitout

ADDBDDCIRCUITOUT(3)						   BDD FUNCTIONS					       ADDBDDCIRCUITOUT(3)

NAME
       addbddcircuitout - adds an output in a bdd circuit.

ORIGIN
       This  software  belongs	to  the  ALLIANCE CAD SYSTEM developed by the ASIM team at LIP6 laboratory of Universite Pierre et Marie CURIE, in
       Paris, France.

       Web : http://asim.lip6.fr/recherche/alliance/
       E-mail : alliance-users@asim.lip6.fr

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 circuit 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
       replaced 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).

BUG REPORT
       This tool is under development at the ASIM department of the LIP6 laboratory.
       We need your feedback to improve documentation and tools.

ASIM
/LIP6							  October 1, 1997					       ADDBDDCIRCUITOUT(3)