MARKBDDNODE(3) BDD FUNCTIONS MARKBDDNODE(3) NAME markbddnode - marks bdd node with a specified mask. SYNOPSIS #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 system 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 different 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 | SYNOPSIS | PARAMETERS | DESCRIPTION | RETURN VALUE | EXAMPLE | SEE ALSO
Want to link to this manual page? Use this URL:
<https://man.freebsd.org/cgi/man.cgi?query=markbddnode&sektion=3&manpath=FreeBSD+Ports+15.1.quarterly>