implica 0.3.2__py3-none-any.whl → 0.3.3__py3-none-any.whl

implica/__init__.py

@@ -41,4 +41,4 @@ __all__ = [
     "mutations",
 ]
 
-__version__ = "0.3.2"
+__version__ = "0.3.3"

implica/core/types.py

@@ -10,6 +10,7 @@ This module defines the type hierarchy for the implicational logic graph:
 import hashlib
 from abc import ABC, abstractmethod
 from functools import cached_property
+from typing import List
 
 from pydantic import BaseModel, ConfigDict, Field, field_validator
 
@@ -33,6 +34,20 @@ class BaseType(BaseModel, ABC):
         """
         pass
 
+    @property
+    @abstractmethod
+    def variables(self) -> List["Variable"]:
+        """
+        Return the list of all variables in this type.
+
+        This property is computed recursively on each access.
+        The list may contain duplicate variables if they appear multiple times.
+
+        Returns:
+            List[Variable]: A list of all Variable instances in this type
+        """
+        pass
+
     @abstractmethod
     def __str__(self) -> str:
         """String representation of the type."""
@@ -62,6 +77,18 @@ class Variable(BaseType):
         content = f"Var({self.name})"
         return hashlib.sha256(content.encode("utf-8")).hexdigest()
 
+    @property
+    def variables(self) -> List["Variable"]:
+        """
+        Return the list of variables in this type.
+
+        For a Variable, this returns a list containing only itself.
+
+        Returns:
+            List[Variable]: A list containing only this variable
+        """
+        return [self]
+
     def __str__(self) -> str:
         """Return the variable name."""
         return self.name
@@ -93,6 +120,19 @@ class Application(BaseType):
         content = f"App({self.input_type.uid},{self.output_type.uid})"
         return hashlib.sha256(content.encode("utf-8")).hexdigest()
 
+    @property
+    def variables(self) -> List[Variable]:
+        """
+        Return the list of variables in this type.
+
+        For an Application, this recursively collects all variables from
+        both the input_type and output_type.
+
+        Returns:
+            List[Variable]: A list of all variables in this application type
+        """
+        return self.input_type.variables + self.output_type.variables
+
     def __str__(self) -> str:
         """
         Return a human-readable string representation.

{implica-0.3.2.dist-info → implica-0.3.3.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: implica
-Version: 0.3.2
+Version: 0.3.3
 Summary: A package for working with graphs representing minimal implicational logic models
 Author: Carlos Fernandez
 Author-email: carlos.ferlo@outlook.com

{implica-0.3.2.dist-info → implica-0.3.3.dist-info}/RECORD

@@ -1,7 +1,7 @@
-implica/__init__.py,sha256=hYegXgHbaTtUgy58UKZD8xs_zMOuk6K6dUKcMjRY_JI,886
+implica/__init__.py,sha256=0mZ2GjzddOh36dHFon3fW8RIykgyO5KNwYQ5_9RR-Yc,886
 implica/core/__init__.py,sha256=opdPtga0OU0d8CEf5DL4Xl4AriBaOHdVW4mbwdD2A0Y,191
 implica/core/combinator.py,sha256=VOeIj_FRMI7fmuMjjbgRBP-FvExnQ6vOjCD-egt96lI,4324
-implica/core/types.py,sha256=c8mNq9oztOqJ2QhSdUdVQYwGMisPF0HHsPkgjalsr54,4073
+implica/core/types.py,sha256=AtzQAY9rJ4lIcjqdVZHLDOO-YXSudez4NOzaw6EPjRc,5230
 implica/graph/__init__.py,sha256=Lj2bUdPZVgMoIYXF7DeMNuFBl3ftqrkAxhGq-Oj0MoQ,172
 implica/graph/connection.py,sha256=IpyvA_J_BQqhecxN3XoQ00Io7zjwok5PGz2TKia35ZQ,13746
 implica/graph/elements.py,sha256=ag5Gdr-5djGnKOEhoEAm3NpWTmw3gnucq1IEv2xxTB4,6015
@@ -24,7 +24,7 @@ implica/mutations/try_remove_edge.py,sha256=2aeg6f6nR49MViyZk15-ys7I5Xt0a2wXycBI
 implica/mutations/try_remove_many_edges.py,sha256=pgZdqFltMaycNBfdjejYVXQZw3i2K1AJYYcsaKk7n74,1596
 implica/mutations/try_remove_many_nodes.py,sha256=DK_BtKuEh_7zm5bzryOi1BVfmuCiQ-SVA9yIdgN-imE,1817
 implica/mutations/try_remove_node.py,sha256=igTEnGUCd0U2_3Rr5SIOSIs4FZmYi2Y6bLk0Ae64Bsg,1837
-implica-0.3.2.dist-info/LICENSE,sha256=jDn9mmsCvjx_av9marP7DBqjfmK1gsQmgycgBRC2Eck,1073
-implica-0.3.2.dist-info/METADATA,sha256=0KsXUyMePnr8SuabFUbJf2QIT5ofrOJfFjk1FrKOl24,25200
-implica-0.3.2.dist-info/WHEEL,sha256=sP946D7jFCHeNz5Iq4fL4Lu-PrWrFsgfLXbbkciIZwg,88
-implica-0.3.2.dist-info/RECORD,,
+implica-0.3.3.dist-info/LICENSE,sha256=jDn9mmsCvjx_av9marP7DBqjfmK1gsQmgycgBRC2Eck,1073
+implica-0.3.3.dist-info/METADATA,sha256=d6yVeAJq0yVrKVdMcBxgEu8-SUkcpH0f2GnePDPE4sU,25200
+implica-0.3.3.dist-info/WHEEL,sha256=sP946D7jFCHeNz5Iq4fL4Lu-PrWrFsgfLXbbkciIZwg,88
+implica-0.3.3.dist-info/RECORD,,