分支条件 | 真分支 | 假分支 |
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)) |