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

Pseudocode 3

Pseudocode for removing the redundant vertices of the WSN.

Remode_Redundant_Vertices(_, ,

()   = Select_Vertices_not__(_, , ;

    do{

(3.2)     (_, ()) = Determin_Redundant_Vertices(, ;

        if (() == 0){ // V_ is the redundant vertex if () == 0.

(3.3)         = Remove_Vertices(_, ;

    }while ( != 0)

    return ;

}