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

FreeBSD Manual Pages

  
 
  

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

NAME
       markbddnode - marks bdd node with a specified mask.

SYNOPSYS
       #include	"bdd101.h"
       long markbddnode( BddSystem, BddNode, Mark )
	 bddsystem *BddSystem;
	 bddnode   *BddNode;
	 bddmark    Mark;

PARAMETERS
       BddSystem	   The bdd system.

       BddNode		   The bdd node	to mark.

       Mark		   The bit mask.

DESCRIPTION
       markbddnode  marks  the bdd node	BddNode	with the bit mask Mark,	in the
       bdd system BddSystem.  If a null	pointer	is given, the default bdd sys-
       tem  is	used.	This function does a OR	with the field MARK of the bdd
       node BddNode, and the bit mask Mark.

RETURN VALUE
       markbddnode returns the number of the differents	marked 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			MARKBDDNODE(3)

NAME | SYNOPSYS | PARAMETERS | DESCRIPTION | RETURN VALUE | EXAMPLE | SEE ALSO

Want to link to this manual page? Use this URL:
<https://www.freebsd.org/cgi/man.cgi?query=markbddnode&sektion=3&manpath=FreeBSD+12.2-RELEASE+and+Ports>

home | help