Lines Matching refs:re

12 import re
29 COMMENT_RE   = re.compile(r"::.*?$", re.M)
30 THEOREM_RE   = re.compile(r"\btheorem\b(?:\s+([A-Za-z0-9_]+)\s*:)?", re.I)
31 DEF_HDR_RE   = re.compile(r"\bdefinition\b(?:\s+([A-Za-z0-9_]+)\s*:)?", re.I)
34 INLINE_HEAD_RE = re.compile(r"^[ \t]*:?\s*((?:Def|Lm)\d+)\s*:", re.I | re.M)
37 INLINE_INLINE_RE = re.compile(r":\s*((?:Def|Lm)\d+)\s*:", re.I)
39 BY_RE   = re.compile(r"\bby\s+([^;]+);",   re.I | re.S)
40 FROM_RE = re.compile(r"\bfrom\s+([^;]+);", re.I | re.S)
43 LABEL_RE = re.compile(
48 FOLD_RE     = re.compile(r"^[A-Z](\d+)?$")          # A, A1 …（吸収対象）
49 INTERNAL_RE = re.compile(r"^(?:Th\d+|Th_auto\d+|Def\d+|Def_auto\d+|Lm\d+)$")
50 EXT_ART_RE  = re.compile(r"^[A-Z][A-Z0-9_]*$")
55     m = re.search(r"\benviron\b(.*?)(?:\bbegin\b)", txt, re.I | re.S)
56     return set() if not m else set(re.findall(r"[A-Z][A-Z0-9_]*", m[1]))