iterate on jlbpcb set types/approach

src/faebryk/core/parameter.py

@@ -1,6 +1,7 @@
 # This file is part of the faebryk project
 # SPDX-License-Identifier: MIT
 
+from collections.abc import Iterable
 import logging
 from enum import Enum, auto
 from types import NotImplementedType
@@ -150,8 +151,13 @@ def new(self2):
 
         self.inspect_final = new
 
-    # def inspect_num_known_supersets(self) -> int: ...
+    # Could be exponentially many
+    def inspect_num_known_supersets(self) -> int:
+        raise Exception("not implemented")
+
     # def inspect_get_known_supersets(self) -> Iterable[P_Set]: ...
+    def inspect_get_known_superranges(self: NumberLike) -> Iterable[Ranges]:
+        raise Exception("not implemented")
 
     # ----------------------------------------------------------------------------------
     def __add__(self, other: NumberLike):

src/faebryk/core/solver.py

@@ -36,16 +36,12 @@ def get_any_single(
         constrain_result: bool = True,
     ) -> tuple[Any, list[Parameter]]: ...  # TODO Any -> NumberLike?
 
-    # make at least one of the passed predicates true
+    # make at least one of the passed predicates true, unless that is impossible
     # while trying to minimize the value of the optional minimize expression
     # there is no specific order in which the predicates are solved
     # suppose_constraint can be added, which by constraining the solution further can make solving easier
     # it is only in effect for the duration of the solve call
     # constrain_solved will add the solutions as constraints
-    # returns a tuple of two lists:
-    # - the first list contains the predicates that were actually solved, i.e. they are true/false
-    # - the second list contains the expressions that remain unknown
-    # - the third list contains the parameters that have an empty solution set
     def assert_any_predicate[ArgType](
         self,
         G: Graph,

src/faebryk/libs/library/L.py

@@ -17,6 +17,8 @@
 from faebryk.core.reference import reference  # noqa: F401
 from faebryk.libs.sets import (  # noqa: F401
     Empty,
+    P_Set,
+    P_UnitSet,
     PlainSet,
     Range,
     Ranges,