ReForma 0.26__tar.gz → 0.28__tar.gz

{reforma-0.26 → reforma-0.28}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: ReForma
-Version: 0.26
+Version: 0.28
 Summary: Python bindings for the RePA/ReForma probabilistic automaton tool
 Author-email: Joshua Dourado <joshuadourado@ua.pt>
 License: MIT

{reforma-0.26 → reforma-0.28}/ReForma.egg-info/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: ReForma
-Version: 0.26
+Version: 0.28
 Summary: Python bindings for the RePA/ReForma probabilistic automaton tool
 Author-email: Joshua Dourado <joshuadourado@ua.pt>
 License: MIT

{reforma-0.26 → reforma-0.28}/ReForma.egg-info/SOURCES.txt

@@ -10,6 +10,7 @@ reforma/__init__.py
 reforma/client.py
 reforma/jar_bridge.py
 reforma/model.py
+reforma/bin/RePATool.jar
 reforma/bin/js/cytoscape-dagre.js
 reforma/bin/js/cytoscape.min.js
 reforma/bin/js/dagre.js

{reforma-0.26 → reforma-0.28}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "ReForma"
-version = "0.26"
+version = "0.28"
 description = "Python bindings for the RePA/ReForma probabilistic automaton tool"
 readme = "README.md"
 requires-python = ">=3.10"

{reforma-0.26 → reforma-0.28}/reforma/client.py

@@ -869,15 +869,16 @@ class ReForma:
         enabled: list[Transition] = []
         variables: dict[str, int] = {}
 
-        import re 
+        import re
         
         for line in lines:
             if line.startswith("Estado Atual:"):
-                parts = line.split(":", 1)[1].strip()
-                current_states = [s.strip() for s in parts.split(",")]
+                st_parts = line.split(":", 1)[1].strip()
+                current_states = [s.strip() for s in st_parts.split(",")]
             
             elif line.startswith("Variaveis:"):
-                matches = re.finditer(r"([a-zA-Z0-9_]+)\s*=\s*(?:VInt\(\s*([^,)]+)|VFloat\(\s*([^,)]+)|VBool\(\s*([^,)]+)|([^,]+))", parts)
+                var_parts = line.split(":", 1)[1].strip()
+                matches = re.finditer(r"([a-zA-Z0-9_]+)\s*=\s*(?:VInt\(\s*([^,)]+)|VFloat\(\s*([^,)]+)|VBool\(\s*([^,)]+)|([^,]+))", var_parts)
                 
                 for m in matches:
                     k = m.group(1)
@@ -912,7 +913,6 @@ class ReForma:
             raw={},
         )
 
-
 def _get_local_js(filename: str) -> str:
     """Reads the local JS file to be injected into HTML."""
     base_dir = os.path.dirname(__file__)