tidying up

tilings/algorithms/fusion.py

@@ -457,7 +457,9 @@ def fused_tiling(self) -> "Tiling":
             assumptions.extend(self.fused_predicates())
             if self._tracked:
                 assumptions.append(self.new_assumption())
-            requirements = list(list(fc) for fc in self.requirements_fuse_counters)
+            requirements: List[Iterable[GriddedPerm]] = list(
+                list(fc) for fc in self.requirements_fuse_counters
+            )
             if self._positive_left or self._positive_right:
                 new_positive_requirement = self.new_positive_requirement()
                 requirements = requirements + [new_positive_requirement]

tilings/strategies/fusion/fusion.py

@@ -419,6 +419,7 @@ def make_tracked(self) -> "FusionFactory":
         return self.__class__(tracked=True, isolation_level=self.isolation_level)
 
     def __call__(self, comb_class: Tiling) -> Iterator[Rule]:
+        # pylint: disable=import-outside-toplevel
         from tilings.strategies.fusion.unfusion import UnfusionStrategy
 
         cols, rows = comb_class.dimensions

tilings/strategies/unfusion.py

@@ -321,5 +321,5 @@ def __repr__(self) -> str:
         return self.__class__.__name__ + "()"
 
     @classmethod
-    def from_dict(cls, d: dict) -> "UnfusionFactory":
+    def from_dict(cls, d: dict) -> "UnfusionRowColumnFactory":
         return cls()

tilings/tiling.py

@@ -164,7 +164,7 @@ def __init__(
         else:
             self.set_empty()
 
-        self._check_init(checked)
+        self.check_init(checked)
 
     def _set_obstructions_requirements_and_assumptions(
         self,
@@ -197,7 +197,7 @@ def _set_obstructions_requirements_and_assumptions(
                 _assumptions.append(ass)
         self._assumptions = tuple(sorted(_assumptions))
 
-    def _check_init(self, checked: bool):
+    def check_init(self, checked: bool):
         if DEBUG and not checked:
             redone = Tiling(
                 self._obstructions, self._requirements, self._assumptions, checked=True
@@ -878,7 +878,7 @@ def add_assumptions(self, assumptions: Iterable[Assumption]) -> "Tiling":
         if not simplify:
             tiling.clean_assumptions()
         if DEBUG:
-            tiling._check_init(False)
+            tiling.check_init(False)
         return tiling
 
     def remove_assumption(self, assumption: Assumption):
@@ -1707,6 +1707,7 @@ def is_empty(self, experimental_bound: Optional[int] = None) -> bool:
 
         TODO: this method ignores predicates
         """
+        # pylint: disable = arguments-differ
         if any(ob.is_empty() for ob in self.obstructions) or any(
             not ass.can_be_satisfied(self) for ass in self.predicate_assumptions
         ):