A Novel OBDD-Based Reliability Evaluation Algorithm for Wireless Sensor Networks on the Multicast Model

Pseudocode 4

Pseudocode for constructing the OBDDs of paths from the original source vertex to every target vertex.

Construct_OBDD_Reliability_WSN(bdd_result){

   ;

   ;

  do{

(4.1)    relBDD = bdd_and(relBDD, _ );

  }while (); // is the number of the target vertices of the WSN

  return relBDD;

}