Searched refs:FoundInduction (Results 1 – 1 of 1) sorted by relevance
816 bool FoundInduction = false; in currentLimitations() local833 I != E && !FoundInduction; ++I) { in currentLimitations()842 FoundInduction = true; in currentLimitations()846 if (!FoundInduction) in currentLimitations()