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

FreeBSD Manual Pages

  
 
  

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

NAME
       unmarkbddnode - unmarks bdd node	with a specified mask.

SYNOPSIS
       #include	"bdd101.h"
       long unmarkbddnode( BddSystem, BddNode, Mark )
	 bddsystem *BddSystem;
	 bddnode   *BddNode;
	 bddunmark    Mark;

PARAMETERS
       BddSystem	   The bdd system.

       BddNode		   The bdd node	to unmark.

       Mark		   The bit mask.

DESCRIPTION
       unmarkbddnode  unmarks  the bdd node BddNode with the bit mask Mark, in
       the bdd system BddSystem.  If a null pointer is given, the default  bdd
       system  is  used.   This	function does a	AND with the field MARK	of the
       bdd node	BddNode, and the complemented bit mask Mark.

RETURN VALUE
       unmarkbddnode returns the number	of the different unmarked nodes.

EXAMPLE
       #include	"bdd101.h"
	  bddsystem  *BddSystem;
	  bddcircuit *BddCircuit;
	  bddnode    *BddNode;
	  chain_list *Expr;
	  BddSystem  = createbddsystem(	100, 1000, 100,	50000 );
	  BddCircuit = createbddcircuit( "hello_world",	10, 10,	BddSystem );
	  Expr = createablbinexpr( ABL_AND,
				   createablatom( "i0" ),
				   createablatom( "i1" ) );
	  BddNode = addbddcircuitabl( BddCircuit, Expr );
	  freeablexpr( Expr );
	  printf( "Number nodes: %ld0,
		  markbddnode( (bddsystem *)0, BddNode,	0x0001 ) );
	  unmarkbddnode( (bddsystem *)0, BddNode, 0x0001 );
	  destroybddsystem( (bddsystem *)0 );
	  destroybddcircuit( (bddcircuit *)0 );

SEE ALSO
       bdd(1)

ASIM/LIP6			October	1, 1997		      UNMARKBDDNODE(3)

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

home | help