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

FreeBSD Manual Pages

  
 
  

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

NAME
       addbddcircuitin - adds an input in a bdd	circuit.

SYNOPSIS
       #include	"bdd101.h"
       bddnode *addbddcircuitin( BddCircuit, InputName,	Index, Mode )
	 bddcircuit *BddCircuit;
	 char	    *InputName;
	 bddindex    Index;
	 long	     Mode;

PARAMETERS
       BddCircuit	   The bdd circuit.

       InputName	   The name of the input.

       Index		   The bdd index of the	input.

       Mode		   The mode.

DESCRIPTION
       addbddcircuitin	adds an	input InputName	in the bdd circuit BddCircuit.
       If a null pointer is given, the default bdd circuit is  used.   If  the
       input InputName exists already, its node	pointer	is returned.  The Mode
       parameter  specifies  how  to create the	new variable associated	to the
       name InputName. The Index parameter is used with	the BDD_IN_MODE_BEFORE
       and BDD_IN_MODE_AFTER mode.  The	Mode parameter can takes the following
       values  :

       BDD_IN_MODE_FIRST   adds	a variable before all others.

       BDD_IN_MODE_LAST	   adds	a variable after all others.

       BDD_IN_MODE_BEFORE  adds	a variable before the one specified by Index.

       BDD_IN_MODE_AFTER   adds	a variable after the one specified by Index.

       BDD_IN_MODE_IMPOSE  if this flag	is set,	only the  variables  found  in
			   the	BddCircuit  are	taken into account. It permits
			   to merge variables from different  circuit  working
			   on the same bdd system.

RETURN VALUE
       addbddcircuitin returns a pointer to the	new created node.

ERRORS
       "unknwon	in mode	xxx error !"
	      The Mode parameter must be defined.

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

SEE ALSO
       bdd(1)

ASIM/LIP6			October	1, 1997		    ADDBDDCIRCUITIN(3)

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

home | help