124125126127128129130131132133134
&& !x.isMatched();) { Node y = rightNodes.nextElement(); if ((!y.isMatched() && (!y.isLeaf() || y.isRoot())) && equal(x, y)) { fMatch.add(new NodePair(x, y)); x.enableMatched(); y.enableMatched(); } } } } }
138139140141142143144145146147148
Node x = pair.getLeft(); Node y = pair.getRight(); if (!(x.isMatched() || y.isMatched())) { fMatch.add(pair); x.enableMatched(); y.enableMatched(); } } } @SuppressWarnings("unchecked")