Returns the number of documents of the union of this set with another set. May be more efficient than actually creating the union and then getting its size.
(DocSet other)
| 101 | * efficient than actually creating the union and then getting its size. |
| 102 | */ |
| 103 | public int unionSize(DocSet other) { |
| 104 | return this.size() + other.size() - this.intersectionSize(other); |
| 105 | } |
| 106 | |
| 107 | /** |
| 108 | * Returns the documents in this set that are not in the other set. Neither set is modified - a |