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