Move DEFAULT_REALTYP_TO_COUNTERTYP to proof_type.py

Relocated the DEFAULT_REALTYP_TO_COUNTERTYP mapping from directive.py to proof_type.py for better modularity and to centralize proof type definitions.

Author: douden

sphinx_proof/directive.py

@@ -16,29 +16,11 @@
 from sphinx.util.docutils import SphinxDirective
 from .nodes import unenumerable_node, NODE_TYPES
 from .nodes import proof_node
+from .proof_type import DEFAULT_REALTYP_TO_COUNTERTYP
 
 logger = logging.getLogger(__name__)
 
 
-DEFAULT_REALTYP_TO_COUNTERTYP = {
-    "axiom": "axiom",
-    "theorem": "theorem",
-    "lemma": "lemma",
-    "algorithm": "algorithm",
-    "definition": "definition",
-    "remark": "remark",
-    "conjecture": "conjecture",
-    "corollary": "corollary",
-    "criterion": "criterion",
-    "example": "example",
-    "property": "property",
-    "observation": "observation",
-    "proposition": "proposition",
-    "assumption": "assumption",
-    "notation": "notation",
-}
-
-
 class ElementDirective(SphinxDirective):
     """A custom Sphinx Directive"""
 

sphinx_proof/proof_type.py

@@ -119,6 +119,20 @@ class NotationDirective(ElementDirective):
     "notation": NotationDirective,
 }
 
-DEFAULT_REALTYP_TO_COUNTERTYP = {}
-for proof_type in PROOF_TYPES:
-    DEFAULT_REALTYP_TO_COUNTERTYP[proof_type] = proof_type
+DEFAULT_REALTYP_TO_COUNTERTYP = {
+    "axiom": "axiom",
+    "theorem": "theorem",
+    "lemma": "lemma",
+    "algorithm": "algorithm",
+    "definition": "definition",
+    "remark": "remark",
+    "conjecture": "conjecture",
+    "corollary": "corollary",
+    "criterion": "criterion",
+    "example": "example",
+    "property": "property",
+    "observation": "observation",
+    "proposition": "proposition",
+    "assumption": "assumption",
+    "notation": "notation",
+}