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.

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

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

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

home | help