分支条件

真分支

假分支

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))