flamapy-fw 2.0.0.dev6__tar.gz → 2.0.0.dev7__tar.gz

{flamapy-fw-2.0.0.dev6 → flamapy-fw-2.0.0.dev7}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: flamapy-fw
-Version: 2.0.0.dev6
+Version: 2.0.0.dev7
 Summary: Flamapy is a Python-based AAFM framework that takes into consideration previous AAFM tool designs and enables multi-solver and multi-metamodel support for the integration of AAFM tooling on the Python ecosystem.
 Home-page: https://github.com/flamapy/core
 Author: Flamapy

{flamapy-fw-2.0.0.dev6 → flamapy-fw-2.0.0.dev7}/flamapy/core/models/ast.py

@@ -56,7 +56,7 @@ class Node:
         return not self.is_unique_term() and not self.is_unary_op()
 
     def __str__(self) -> str:
-        data = self.data.value if self.is_op() else self.data
+        data = self.data.value if self.is_op() else safename(str(self.data))
         if self.left and self.right:
             return f'{data}[{self.left}][{self.right}]'
         if self.left and not self.right:
@@ -77,7 +77,7 @@ class Node:
         return res
 
     def pretty_str(self) -> str:
-        data = self.data.value if self.is_op() else self.data
+        data = self.data.value if self.is_op() else safename(str(self.data))
         left = Node._get_pretty_str_node(self.left) if self.left is not None else ''
         right = Node._get_pretty_str_node(self.right) if self.right is not None else ''
 
@@ -302,3 +302,7 @@ def get_clause_from_or_node(node: Node) -> list[Any]:
         term = node.right.data if node.right.is_term() else f'-{node.right.left.data}'
         clause.append(term)
     return clause
+
+
+def safename(name: str) -> str:
+    return f'"{name}"' if ' ' in name else name

{flamapy-fw-2.0.0.dev6 → flamapy-fw-2.0.0.dev7}/flamapy_fw.egg-info/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: flamapy-fw
-Version: 2.0.0.dev6
+Version: 2.0.0.dev7
 Summary: Flamapy is a Python-based AAFM framework that takes into consideration previous AAFM tool designs and enables multi-solver and multi-metamodel support for the integration of AAFM tooling on the Python ecosystem.
 Home-page: https://github.com/flamapy/core
 Author: Flamapy

{flamapy-fw-2.0.0.dev6 → flamapy-fw-2.0.0.dev7}/setup.py

@@ -13,7 +13,7 @@ dev_requirements = read_requirements("requirements-dev.txt")
 
 setuptools.setup(
     name="flamapy-fw",
-    version="2.0.0.dev6",
+    version="2.0.0.dev7",
     author="Flamapy",
     author_email="flamapy@us.es",
     description="Flamapy is a Python-based AAFM framework that takes into consideration previous AAFM tool designs and enables multi-solver and multi-metamodel support for the integration of AAFM tooling on the Python ecosystem.",