reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
712 if (ExampleString.empty()) 713 ExampleString = RegExStr; 716 StringRef BufferPrefix = Buffer.substr(0, ExampleString.size()); 718 return BufferPrefix.edit_distance(ExampleString);