diff options
author | Andrea Censi <acensi@ethz.ch> | 2022-02-21 12:22:37 +0100 |
---|---|---|
committer | Andrea Censi <acensi@ethz.ch> | 2022-02-21 12:22:37 +0100 |
commit | 5a5331537c3fa89ac1a553e101997e945ce97bc0 (patch) | |
tree | 86219565b8f58ed4ea9f02ff36c8a4ad682a2bd5 /src/act4e_solutions/sets.py | |
parent | Bump to version 7.1.2202211059 [ci skip] (diff) | |
download | act4e-5a5331537c3fa89ac1a553e101997e945ce97bc0.tar.gz act4e-5a5331537c3fa89ac1a553e101997e945ce97bc0.zip |
skeletons
Diffstat (limited to 'src/act4e_solutions/sets.py')
-rw-r--r-- | src/act4e_solutions/sets.py | 14 |
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() |