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

FreeBSD Manual Pages

  
 
  

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

NAME
       getbddvarnode - gives the bdd node of a variable.

SYNOPSIS
       #include	"bdd101.h"
       bddnode *getbddvarnodebyindex( BddSystem, Index )
	 bddsystem *BddSystem;
	 bddindex   Index;

PARAMETERS
       BddSystem	   The bdd system.

       Index		   The bdd index.

DESCRIPTION
       getbddvarnode  gives  the  bdd  node of the bdd index Index, in the bdd
       system BddSystem.  If a null pointer is given, the default  bdd	system
       is used.	 The function uses simply the table BddSystem->VAR_NODE.

RETURN VALUE
       getbddvarnode returns a pointer to the variable bdd node.

ERRORS
       "index xxx out of range,	error !"
	      The Index	parameter must be a valid index.

EXAMPLE
       #include	"bdd101.h"
	  bddsystem  *BddSystem;
	  bddnode    *BddNode;
	  BddSystem  = createbddsystem(	100, 1000, 100,	50000 );
	  addbddvar( (bddsystem	*)0, 0 );
	  BddNode = getbddvarnodebyindex( (bddsystem *)0, 2 );
	  ...
	  destroybddsystem( (bddsystem *)0 );

SEE ALSO
       bdd(1)

ASIM/LIP6			October	1, 1997	       GETBDDVARNODEBYINDEX(3)

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

home | help