| 分支条件 | 真分支 | 假分支 |
| a == b | 0 | abs (a − b) |
| a != b | 0 | 1 |
| a | 0 | abs (a − b) + k |
| a <= b | 0 | Abs (a − b) |
| a > b | 0 | abs (a − b) + k |
| a >= b | 0 | abs (a − b) |
| a || b | min(dist(a),dist(b)) | dist (a) + dist (b) |
| a && b | dist(a) + dist(b) | min(dist(a),dist(b)) |