7273747576777879
} public Distance update(Tree iNode, Distance d1, Distance d2, Tree kNode) { if (d1 == NO_WAY || d2 == NO_WAY) return this; // calc d1 + d2 Cardinality c = d1.card.and(fromNodeType(kNode.getType())).and(d2.card); return or(iNode, c); }