Decision Diagram Based Symbolic Algorithm for Evaluating the Reliability of a Multistate Flow Network

Figure 6

d_OBDDs: (a) d_OBDD after first loop; (b) result d_OBDD.

(a)

(b)