Closed tpoisot closed 4 years ago
Paging through occurrences is done with push operations, and this gets progressively slower over time - need to benchmark how much.
push
The need to push can be removed through the pre-allocation of the arrays as we know the number of occurrences we will retrieve.
Paging through occurrences is done with
pushoperations, and this gets progressively slower over time - need to benchmark how much.The need to
pushcan be removed through the pre-allocation of the arrays as we know the number of occurrences we will retrieve.