summaryrefslogtreecommitdiffstats
path: root/src/act4e_solutions/sets.py
diff options
context:
space:
mode:
authorAndrea Censi <acensi@ethz.ch>2022-02-21 12:22:37 +0100
committerAndrea Censi <acensi@ethz.ch>2022-02-21 12:22:37 +0100
commit5a5331537c3fa89ac1a553e101997e945ce97bc0 (patch)
tree86219565b8f58ed4ea9f02ff36c8a4ad682a2bd5 /src/act4e_solutions/sets.py
parentBump to version 7.1.2202211059 [ci skip] (diff)
downloadact4e-5a5331537c3fa89ac1a553e101997e945ce97bc0.tar.gz
act4e-5a5331537c3fa89ac1a553e101997e945ce97bc0.zip
skeletons
Diffstat (limited to 'src/act4e_solutions/sets.py')
-rw-r--r--src/act4e_solutions/sets.py14
1 files changed, 14 insertions, 0 deletions
diff --git a/src/act4e_solutions/sets.py b/src/act4e_solutions/sets.py
new file mode 100644
index 0000000..7cb4252
--- /dev/null
+++ b/src/act4e_solutions/sets.py
@@ -0,0 +1,14 @@
+from typing import Callable, TypeVar
+
+import act4e_interfaces as I
+
+X = TypeVar("X")
+
+
+class MyEnumerableSetsOperations(I.EnumerableSetsOperations):
+ def make_set_sequence(self, f: Callable[[int], X]) -> I.EnumerableSet[X]:
+ raise NotImplementedError()
+
+ def union_esets(self, a: I.EnumerableSet[X], b: I.EnumerableSet[X]) -> I.EnumerableSet[X]:
+ """Creates the union of two EnumerableSet."""
+ raise NotImplementedError()