streamit.scheduler.iriter.Iterator userBefore, streamit.scheduler.iriter.Iterator userAfter)
streamit.scheduler2.iriter.Iterator userBefore, streamit.scheduler2.iriter.Iterator userAfter)
    public int getBufferSizeBetween(        streamit.scheduler.iriter.Iterator userBefore,        streamit.scheduler.iriter.Iterator userAfter)    {        Iterator before = (Iterator) user2persistent.get(userBefore);        Iterator after = (Iterator) user2persistent.get(userAfter);        Pair beforeAfter = pairs.getPair(before, after);        BufferStatus status = (BufferStatus) bufferSizes.get(beforeAfter);        return status.getBufferSize();    }