Level partitioning (LP)
| Elements(Mi) | Reachability Set(Mi) | Antecedent set A(Ni) | Intersection set R (Mi)∩A(Ni) | Level |
|---|---|---|---|---|
| 1 | 1, 2, 4 | 1, 2, 4, 5,6, 7, 9 | 1,2,4 | 2 |
| 2 | 1, 2, 4 | 1, 2, 4, 5, 6, 7, 9 | 1,2,4 | 2 |
| 3 | 3, 8 | 1, 2, 3, 4, 5, 6, 7, 8, 9 | 3, 8 | 1 |
| 4 | 1, 2, 4 | 1, 2, 4, 5, 6, 7, 9 | 1, 2, 4 | 2 |
| 5 | 5, 9 | 5, 6, 7, 9 | 5, 9 | 3 |
| 6 | 6 | 6 | 6 | 5 |
| 7 | 7 | 6, 7 | 7 | 4 |
| 8 | 3, 8 | 1, 2, 3, 4, 5, 6, 7, 8, 9 | 3, 8 | 1 |
| 9 | 5, 9 | 5,6, 7,9 | 5, 9 | 3 |
| Elements(Mi) | Reachability Set(Mi) | Antecedent set A(Ni) | Intersection set R (Mi)∩A(Ni) | Level |
|---|---|---|---|---|
| 1 | 1, 2, 4 | 1, 2, 4, 5,6, 7, 9 | 1,2,4 | 2 |
| 2 | 1, 2, 4 | 1, 2, 4, 5, 6, 7, 9 | 1,2,4 | 2 |
| 3 | 3, 8 | 1, 2, 3, 4, 5, 6, 7, 8, 9 | 3, 8 | 1 |
| 4 | 1, 2, 4 | 1, 2, 4, 5, 6, 7, 9 | 1, 2, 4 | 2 |
| 5 | 5, 9 | 5, 6, 7, 9 | 5, 9 | 3 |
| 6 | 6 | 6 | 6 | 5 |
| 7 | 7 | 6, 7 | 7 | 4 |
| 8 | 3, 8 | 1, 2, 3, 4, 5, 6, 7, 8, 9 | 3, 8 | 1 |
| 9 | 5, 9 | 5,6, 7,9 | 5, 9 | 3 |
Source(s): Authors’ compilation
Sharing content requires targeting cookies to be enabled. Please update your cookie preferences to use this feature.