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

FreeBSD Manual Pages

  
 
  

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

NAME
       addbddvarbefore - adds a	new variable, before an	existing one.

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

PARAMETERS
       BddSystem	   The bdd system.

       Index		   The bdd index of an existing	variable.

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

RETURN VALUE
       addbddvarbefore 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 = addbddvarbefore( (bddsystem *)0, BddNode1->INDEX );
	  destroybddsystem( (bddsystem *)0 );

SEE ALSO
       bdd(1)

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

home | help