Searched refs:IndicesNumber (Results 1 – 2 of 2) sorted by relevance
693 size_t IndicesNumber = IsIndexLoopInvariant.size(); in print() local694 for (size_t I = 0; I < IndicesNumber; ++I) in print()
918 size_t IndicesNumber = IsIndexLoopInvariant.size(); in print() local919 for (size_t I = 0; I < IndicesNumber; ++I) in print()