markbddnode(3) - Linux man page

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