model-methods-lemma.txt

de.wiesler.BucketPointers[de.wiesler.BucketPointers::alignedBoundariesKeepEnoughSpace(int,int)]
de.wiesler.BucketPointers[de.wiesler.BucketPointers::disjointBucketsAreaLemma([I,int,int,int,int,int)]
de.wiesler.BucketPointers[de.wiesler.BucketPointers::disjointBucketsLemma(int)]
de.wiesler.BucketPointers[de.wiesler.BucketPointers::elementsToReadCountClassEqSplitBucket(de.wiesler.Classifier,[I,int,int,int,int,boolean)]
de.wiesler.BucketPointers[de.wiesler.BucketPointers::elementsToReadCountElementSplitBucket([I,int,int,int,int,boolean)]
de.wiesler.BucketPointers[de.wiesler.BucketPointers::initialReadAreasBlockClassified(de.wiesler.Classifier,[I,int,int)]
de.wiesler.BucketPointers[de.wiesler.BucketPointers::initialReadAreasCount([I,int,int)]
de.wiesler.BucketPointers[de.wiesler.BucketPointers::initialReadAreasCountBucketElements(de.wiesler.Classifier,[I,int,int)]
de.wiesler.BucketPointers[de.wiesler.BucketPointers::initialReadAreasCountBucketElementsLemma(de.wiesler.Classifier,[I,int,int)]
de.wiesler.BucketPointers[de.wiesler.BucketPointers::initialReadAreasCountLemma([I,int,int)]
de.wiesler.BucketPointers[de.wiesler.BucketPointers::overflowBucketUniqueLemma(int,int,int)]
de.wiesler.BucketPointers[de.wiesler.BucketPointers::writtenElementsCountElementSplitBucket([I,int,int,[I,int)]
de.wiesler.Buffers[de.wiesler.Buffers::isBlockAlignedAdd(int,int)]
de.wiesler.Buffers[de.wiesler.Buffers::isBlockAlignedSub(int,int)]
de.wiesler.Classifier[de.wiesler.Classifier::classOfClassifiedBlockFromFirst([I,int,int,int)]
de.wiesler.Classifier[de.wiesler.Classifier::classOfFirstSplitters()]
de.wiesler.Classifier[de.wiesler.Classifier::classOfTrans()]
de.wiesler.Classifier[de.wiesler.Classifier::countClassOfSliceEqLemma([I,int,int,int)]
de.wiesler.Classifier[de.wiesler.Classifier::isClassifiedBlocksRangeSplit([I,int,int,int)]
de.wiesler.Classifier[de.wiesler.Classifier::isClassOfSliceCopy([I,int,[I,int,int,int)]
de.wiesler.Classifier[de.wiesler.Classifier::isClassOfSliceSplit([I,int,int,int,int)]
de.wiesler.Classifier[de.wiesler.Classifier::isValidBufferLen(int,int)]
de.wiesler.Functions[de.wiesler.Functions::bucketStartsOrdering([I,int,int)]
de.wiesler.Functions[de.wiesler.Functions::countElementSplit([I,int,int,int)]
de.wiesler.Functions[de.wiesler.Functions::isSortedSeqTransitiveFromSlice([I,int,int)]
de.wiesler.Functions[de.wiesler.Functions::isSortedSlice([I,int,int)]
de.wiesler.Partition[de.wiesler.Partition::bucketCountsToTotalCount([I,int,int,[I,int)]
de.wiesler.Sorter[de.wiesler.Sorter::allBucketsPartitionedLemma(de.wiesler.Classifier,[I,int,int,[I)]
de.wiesler.Sorter[de.wiesler.Sorter::bucketIndexFromOffset([I,int,int)]
de.wiesler.Sorter[de.wiesler.Sorter::equalityBucketsLemma(de.wiesler.Classifier,[I,int,int,[I)]
de.wiesler.Sorter[de.wiesler.Sorter::nonEmptyBucketsLemma(de.wiesler.Classifier,[I,int,int,[I)]
de.wiesler.Sorter[de.wiesler.Sorter::notAllValuesInOneBucketLemma([I,int,int)]
de.wiesler.Sorter[de.wiesler.Sorter::sortednessFromPartitionSorted([I,int,int,[I,int)]
de.wiesler.Tree[de.wiesler.Tree::classOfFirstSplitters()]