searchbddcircuitout(3) [debian man page]

SEARCHBDDCIRCUITOUT(3)						   BDD FUNCTIONS					    SEARCHBDDCIRCUITOUT(3)

NAME

       searchbddcircuitout - searchs 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 *searchbddcircuitout( BddCircuit, OutputName )
	 bddcircuit *BddCircuit;
	 char	    *OutputName;

PARAMETERS

       BddCircuit	   The bdd circuit.

       OutputName	   The name of the output to look for.

DESCRIPTION

       searchbddcircuitout searchs the output OutputName in the bdd circuit BddCircuit.  If a null pointer is given, the default  bdd  circuit	is
       used.

RETURN VALUE

       searchbddcircuitout returns the node corresponding to the output OutputName or a null pointer if no such output is found.

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), addbddcircuitout(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					    SEARCHBDDCIRCUITOUT(3)

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)