public NodeSet union(NodeSet other) { long start = System.currentTimeMillis(); ArraySet result = new ArraySet(getLength() + other.getLength()); result.addAll(other); NodeProxy p, c; for (Iterator i = iterator(); i.hasNext();) { p = (NodeProxy) i.next(); if (other.contains(p)) { c = other.get(p); c.addMatches(p.match); } else result.add(p); } return result; }
public NodeSet union(NodeSet other);
	public NodeSet union(NodeSet other) {		long start = System.currentTimeMillis();		ArraySet result = new ArraySet(getLength() + other.getLength());		result.addAll(other);		NodeProxy p, c;		for (Iterator i = iterator(); i.hasNext();) {			p = (NodeProxy) i.next();			if (other.contains(p)) {				c = other.get(p);				c.addMatches(p.match);			} else				result.add(p);		}		return result;	}