Lines Matching +refs:I +refs:e
32 THEOREM_RE = re.compile(r"\btheorem\b(?:\s+([A-Za-z0-9_]+)\s*:)?", re.I)
33 DEF_HDR_RE = re.compile(r"\bdefinition\b(?:\s+([A-Za-z0-9_]+)\s*:)?", re.I)
36 INLINE_HEAD_RE = re.compile(r"^[ \t]*:?\s*((?:Def|Lm)\d+)\s*:", re.I | re.M)
39 INLINE_INLINE_RE = re.compile(r":\s*((?:Def|Lm)\d+)\s*:", re.I)
41 BY_RE = re.compile(r"\bby\s+([^;]+);", re.I | re.S)
42 FROM_RE = re.compile(r"\bfrom\s+([^;]+);", re.I | re.S)
57 m = re.search(r"\benviron\b(.*?)(?:\bbegin\b)", txt, re.I | re.S)
115 if not any(hdr_s <= e["start"] < hdr_e for e in entries):
139 internal_labels = {e["label"] for e in entries}
144 for e in entries:
145 G.add_node(e["label"], color=color_of[e["kind"]], label=e["label"])