DOKK / manpages / debian 10 / alliance / unmarkbddnode.3.en
UNMARKBDDNODE(3) BDD FUNCTIONS UNMARKBDDNODE(3)

unmarkbddnode - unmarks bdd node with a specified mask.

See the file buster/alliance/alc_origin.1.en.gz.

#include "bdd101.h"
long unmarkbddnode( BddSystem, BddNode, Mark )

bddsystem ∗BddSystem;
bddnode ∗BddNode;
bddunmark Mark;

The bdd system.
The bdd node to unmark.
The bit mask.

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.

unmarkbddnode returns the number of the differents unmarked nodes.

#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 );

bdd(1)

See the file buster/alliance/alc_bug_report.1.en.gz.

October 1, 1997 ASIM/LIP6