Scheme | Modified relations | Type |
---|---|---|
mr1 |
| Expansion |
mr2 | min((1 – s)+s.μ R (u, v),1) | Reduction |
mr3 | min(1 – s+μ R (u, v),1) | Expansion |
mr4 | max(1 – s.μ A (u), μ B (v)) | Reduction |
mr5 | max(1 – s.μ A (u), min(μ A (u), μ B (v))) |  |
mr6 | max(1 – s, min(s, max(1 – μ A (u), min(μ A (u), μ B (v))))) |  |
mr7 | min(1 – μ A (u).s+s.μ A (u).μ B (v),1) |  |