implica 0.3.2__tar.gz → 0.3.3__tar.gz

{implica-0.3.2 → implica-0.3.3}/PKG-INFO

@@ -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 → implica-0.3.3}/pyproject.toml

@@ -1,6 +1,6 @@
 [tool.poetry]
 name = "implica"
-version = "0.3.2"
+version = "0.3.3"
 description = "A package for working with graphs representing minimal implicational logic models"
 authors = ["Carlos Fernandez <carlos.ferlo@outlook.com>"]
 readme = "README.md"

{implica-0.3.2 → implica-0.3.3}/src/implica/__init__.py

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

{implica-0.3.2 → implica-0.3.3}/src/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.