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

FreeBSD Manual Pages

  
 
  

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

NAME
       resetbddsystem -	resets a bdd system.

SYNOPSIS
       #include	"bdd101.h"
       void resetbddsystem( BddSystem )
	 bddsystem *BddSystem;

PARAMETERS
       BddSystem	   The bdd system to reset.

DESCRIPTION
       resetbddsystem  resets  the bdd system BddSystem.  If a null pointer is
       given, the default bdd system is	used.

RETURN VALUE
       resetbddsystem returns nothing.

EXAMPLE
       #include	"bdd101.h"
	  bddsystem *BddSystem;
	  BddSystem = createbddsystem( 100, 1000, 100, 50000 );
	  ...
	  resetbddsystem( (bddsystem *)0 );
	  destroybddsystem( BddSystem );

SEE ALSO
       bdd(1) createbddsytem(3), destroybddsytem(3).

ASIM/LIP6			October	1, 1997		     RESETBDDSYSTEM(3)

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

home | help