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

Pseudocode 1

Pseudocode for obtaining the variable ordering of the WSN.

Get_Variable_Ordering; ,

(1)   = 0;

(2)  [] = ;

(3)  ;

(4)  for (;;++){

(5)   if ( == 0){

     break;

    }

(6)   ([](), [](), (), = Store_Vertices_Edges_on_Each_Layer(, , , , ());

   }

(7)  [] = Order_Vertices_);

(8)   = 2;

(9)  for (; ; ++){

(10)   while ([] () != 0) {

(11)    ((), []()) = Select_Edges([](), []());

(12)    while (() != 0)

(13)   ([], (), ) = Order_Vertices_Connected((), );

    }

   }

   return ;

}