Home
last modified time | relevance | path

Searched refs:gen_titles (Results 1 – 1 of 1) sorted by relevance

/petsc/lib/petsc/bin/maint/petsclinter/petsclinter/classes/docs/
H A D_doc_str.py307 def gen_titles(self) -> Generator[str, None, None]: member in SectionManager
342 if any(map(textlo.startswith, (t.casefold() + ':' for t in self.gen_titles()))):
361 results = list(filter(linelo.startswith, map(str.casefold, self.gen_titles())))
542 have_title = sum(f'{title}:' in rawlo for title in map(str.casefold, cls.sections.gen_titles()))