155156157158159160161162163164165
} } if (oper=="intersect") { DocSet res = a.intersection(b); ret += res.memSize(); } else if (oper=="intersectSize") { ret += a.intersectionSize(b); } else if (oper=="intersectAndSize") { DocSet res = a.intersection(b); ret += res.size();