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

FreeBSD Manual Pages

  
 
  

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

NAME
       reorderbddsystemdynamic - specifies the dynamic bdd reorder parameters.

SYNOPSIS
       #include	"bdd101.h"
       void reorderbddsystemdynamic( BddSystem,	ReorderFunc, ReorderLow, ReorderRatio )
	 bddsystem *BddSystem;
	 void	  (*ReorderFunc)();
	 long	    ReorderLow;
	 long	    ReorderRatio;

PARAMETERS
       BddSystem	   The bdd system.

       ReorderFunc	   The dynamic reorder method.

       ReorderLow	   The minimum number of bdd nodes.

       ReorderRatio	   The reorder ratio in	percent.

DESCRIPTION
       reorderbddsystemdynamic specifies to parameters for the dynamic reorder
       in  the	bdd system BddSystem.  If a null pointer is given, the default
       bdd system is used.  If the number of bdd nodes	is  greater  than  Re-
       orderLow,  then the dynamic reorder function ReorderFunc	is called. The
       new reorder limit is computed as	the product of the number of bdd nodes
       and the ReorderRatio value plus 100.  If	this limit is  less  than  Re-
       orderLow	then the new limit is fixed to ReorderLow. If the function Re-
       orderFunc  is  a	 null  pointer,	 then  the  dynamic reorder process is
       skipped.

RETURN VALUE
       reorderbddsystemdynamic returns nothing.

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

SEE ALSO
       bdd(1)

ASIM/LIP6			October	1, 1997	    REORDERBDDSYSTEMDYNAMIC(3)

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

home | help