Branch Predicate

Branch Function

A = B

ABS(A − B)

A ≠ B

K − ABS(A − B)

A < B

(A − B) + K

A ≤ B

(A − B)

A > B

(B − A)+K

A ≥ B

(B − A)

X OR Y

MIN (Distance(X), Distance(Y))

X AND Y

MAX (Distance(X), Distance(Y))