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

FreeBSD Manual Pages

  
 
  

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

NAME
       addbddvarafter -	adds a new variable, after an existing one.

SYNOPSYS
       #include	"bdd101.h"
       bddnode *addbddvarafter(	BddSystem )
	 bddsystem *BddSystem;
	 bddindex      Index;

PARAMETERS
       BddSystem	   The bdd system.

       Index		   The bdd index of an existing	variable.

DESCRIPTION
       addbddvarafter  creates	a new variable,	with the number	BddSystem->IN-
       DEX_TO_VAR[ Index ] + 1 in the bdd system BddSystem.  If	a null pointer
       is given, the default bdd system	is used.

RETURN VALUE
       addbddvarafter returns a	pointer	to the bdd node	of the new variable.

ERRORS
       "no more	variables, error !"
	      There is no variable number left.
       "index xxx out of range,	error !"
	      The Index	parameter must be a valid index.

EXAMPLE
       #include	"bdd101.h"
	  bddsystem  *BddSystem;
	  bddnode    *BddNode1;
	  bddnode    *BddNode2;
	  BddSystem  = createbddsystem(	100, 1000, 100,	50000 );
	  BddNode1 = addbddvarfirst( (bddsystem	*)0 );
	  BddNode2 = addbddvarafter( (bddsystem	*)0, BddNode1->INDEX );
	  destroybddsystem( (bddsystem *)0 );

SEE ALSO
       bdd(1)

ASIM/LIP6			October	1, 1997		     ADDBDDVARAFTER(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=addbddvarafter&sektion=3&manpath=FreeBSD+12.0-RELEASE+and+Ports>

home | help