summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--src/act4e_solutions/maps.py8
-rw-r--r--src/act4e_solutions/posets_bounds.py8
-rw-r--r--src/act4e_solutions/posets_construction.py6
-rw-r--r--src/act4e_solutions/posets_interval.py12
-rw-r--r--src/act4e_solutions/posets_sum.py6
-rw-r--r--src/act4e_solutions/sets_power.py6
-rw-r--r--src/act4e_solutions/sets_product.py6
-rw-r--r--src/act4e_solutions/sets_sum.py6
-rw-r--r--src/act4e_solutions/sets_union_inter.py6
9 files changed, 33 insertions, 31 deletions
diff --git a/src/act4e_solutions/maps.py b/src/act4e_solutions/maps.py
index 4984eef..acba84e 100644
--- a/src/act4e_solutions/maps.py
+++ b/src/act4e_solutions/maps.py
@@ -10,14 +10,16 @@ C = TypeVar("C")
class SolFiniteMapOperations(I.FiniteMapOperations):
@overload
def identity(self, s: I.FiniteSet[A]) -> I.FiniteMap[A, A]:
- ...
+ ... # this is just a type declaration - do not implement
@overload
def identity(self, s: I.Setoid[A]) -> I.Mapping[A, A]:
- ...
+ ... # this is just a type declaration - do not implement
def identity(self, s: I.Setoid[A]) -> I.Mapping[A, A]:
- raise NotImplementedError()
+ raise NotImplementedError() # implement here
+
+ #
def compose(self, f: I.FiniteMap[A, B], g: I.FiniteMap[B, C]) -> I.FiniteMap[A, C]:
raise NotImplementedError()
diff --git a/src/act4e_solutions/posets_bounds.py b/src/act4e_solutions/posets_bounds.py
index 73adc98..eef9c96 100644
--- a/src/act4e_solutions/posets_bounds.py
+++ b/src/act4e_solutions/posets_bounds.py
@@ -3,7 +3,7 @@ from typing import Any, List, Optional, overload, TypeVar
import act4e_interfaces as I
E = TypeVar("E")
-X = TypeVar("X")
+X = TypeVar("X")
class SolFinitePosetMeasurement(I.FinitePosetMeasurement):
def height(self, fp: I.FinitePoset[Any]) -> int:
@@ -16,14 +16,14 @@ class SolFinitePosetMeasurement(I.FinitePosetMeasurement):
class SolFinitePosetConstructionOpposite(I.FinitePosetConstructionOpposite):
@overload
def opposite(self, p: I.FinitePoset[X]) -> I.FinitePoset[X]:
- ...
+ ... # this is just a type declaration - do not implement
@overload
def opposite(self, p: I.Poset[X]) -> I.Poset[X]:
- ...
+ ... # this is just a type declaration - do not implement
def opposite(self, m: I.Poset[X]) -> I.Poset[X]:
- raise NotImplementedError()
+ raise NotImplementedError() # implement here
class SolFinitePosetSubsetProperties(I.FinitePosetSubsetProperties):
diff --git a/src/act4e_solutions/posets_construction.py b/src/act4e_solutions/posets_construction.py
index 065f931..ebcdec2 100644
--- a/src/act4e_solutions/posets_construction.py
+++ b/src/act4e_solutions/posets_construction.py
@@ -8,11 +8,11 @@ X = TypeVar("X")
class SolPosetConstructionPower(I.PosetConstructionPower):
@overload
def powerposet(self, s: I.FiniteSet[X]) -> I.FinitePosetOfFiniteSubsets[X, Any]:
- ...
+ ... # this is just a type declaration - do not implement
@overload
def powerposet(self, s: I.Setoid[X]) -> I.PosetOfFiniteSubsets[X, Any]:
- ...
+ ... # this is just a type declaration - do not implement
def powerposet(self, s: I.Setoid[X]) -> I.PosetOfFiniteSubsets[X, Any]:
- raise NotImplementedError()
+ raise NotImplementedError() # implement here
diff --git a/src/act4e_solutions/posets_interval.py b/src/act4e_solutions/posets_interval.py
index bd164eb..368de53 100644
--- a/src/act4e_solutions/posets_interval.py
+++ b/src/act4e_solutions/posets_interval.py
@@ -10,24 +10,24 @@ X = TypeVar("X")
class SolFinitePosetConstructionTwisted(I.FinitePosetConstructionTwisted):
@overload
def twisted(self, s: I.FinitePoset[X]) -> I.FinitePosetOfIntervals[X, Any]:
- ...
+ ... # this is just a type declaration - do not implement
@overload
def twisted(self, s: I.Poset[X]) -> I.PosetOfIntervals[X, Any]:
- ...
+ ... # this is just a type declaration - do not implement
def twisted(self, s: I.Poset[X]) -> I.PosetOfIntervals[X, Any]:
- raise NotImplementedError()
+ raise NotImplementedError() # implement here
class SolFinitePosetConstructionArrow(I.FinitePosetConstructionArrow):
@overload
def arrow(self, s: I.FinitePoset[X]) -> I.FinitePosetOfIntervals[X, Any]:
- ...
+ ... # this is just a type declaration - do not implement
@overload
def arrow(self, s: I.Poset[X]) -> I.PosetOfIntervals[X, Any]:
- ...
+ ... # this is just a type declaration - do not implement
def arrow(self, s: I.Poset[X]) -> I.PosetOfIntervals[X, Any]:
- raise NotImplementedError()
+ raise NotImplementedError() # implement here
diff --git a/src/act4e_solutions/posets_sum.py b/src/act4e_solutions/posets_sum.py
index 3081c7f..6d657e0 100644
--- a/src/act4e_solutions/posets_sum.py
+++ b/src/act4e_solutions/posets_sum.py
@@ -8,11 +8,11 @@ X = TypeVar("X")
class SolFinitePosetConstructionSum(I.FinitePosetConstructionSum):
@overload
def disjoint_union(self, ps: Sequence[I.FinitePoset[X]]) -> I.FinitePosetDisjointUnion[X, Any]:
- ...
+ ... # this is just a type declaration - do not implement
@overload
def disjoint_union(self, ps: Sequence[I.Poset[X]]) -> I.PosetDisjointUnion[X, Any]:
- ...
+ ... # this is just a type declaration - do not implement
def disjoint_union(self, ps: Sequence[I.Poset[X]]) -> I.PosetDisjointUnion[X, Any]:
- raise NotImplementedError()
+ raise NotImplementedError() # implement here
diff --git a/src/act4e_solutions/sets_power.py b/src/act4e_solutions/sets_power.py
index 2e9c970..1969d86 100644
--- a/src/act4e_solutions/sets_power.py
+++ b/src/act4e_solutions/sets_power.py
@@ -8,11 +8,11 @@ X = TypeVar("X")
class SolMakePowerSet(I.MakePowerSet):
@overload
def powerset(self, s: I.FiniteSet[X]) -> I.FiniteSetOfFiniteSubsets[X, Any]:
- ...
+ ... # this is just a type declaration - do not implement
@overload
def powerset(self, s: I.Setoid[X]) -> I.SetOfFiniteSubsets[X, Any]:
- ...
+ ... # this is just a type declaration - do not implement
def powerset(self, s: I.Setoid[X]) -> I.SetOfFiniteSubsets[X, Any]:
- raise NotImplementedError()
+ raise NotImplementedError() # implement here
diff --git a/src/act4e_solutions/sets_product.py b/src/act4e_solutions/sets_product.py
index d3e5558..f81f3fe 100644
--- a/src/act4e_solutions/sets_product.py
+++ b/src/act4e_solutions/sets_product.py
@@ -8,11 +8,11 @@ X = TypeVar("X")
class SolMakeSetProduct(I.MakeSetProduct):
@overload
def product(self, components: Sequence[I.FiniteSet[X]]) -> I.FiniteSetProduct[X, Any]:
- ...
+ ... # this is just a type declaration - do not implement
@overload
def product(self, components: Sequence[I.Setoid[X]]) -> I.SetProduct[X, Any]:
- ...
+ ... # this is just a type declaration - do not implement
def product(self, components: Sequence[I.Setoid[X]]) -> I.SetProduct[X, Any]:
- raise NotImplementedError()
+ raise NotImplementedError() # implement here
diff --git a/src/act4e_solutions/sets_sum.py b/src/act4e_solutions/sets_sum.py
index ee82985..193a6a7 100644
--- a/src/act4e_solutions/sets_sum.py
+++ b/src/act4e_solutions/sets_sum.py
@@ -9,11 +9,11 @@ X = TypeVar("X")
class SolMakeSetDisjointUnion(I.MakeSetDisjointUnion):
@overload
def disjoint_union(self, components: Sequence[I.FiniteSet[X]]) -> I.FiniteSetDisjointUnion[X, Any]:
- ...
+ ... # this is just a type declaration - do not implement
@overload
def disjoint_union(self, components: Sequence[I.Setoid[X]]) -> I.SetDisjointUnion[X, Any]:
- ...
+ ... # this is just a type declaration - do not implement
def disjoint_union(self, components: Sequence[I.Setoid[X]]) -> I.SetDisjointUnion[X, Any]:
- raise NotImplementedError()
+ raise NotImplementedError() # implement here
diff --git a/src/act4e_solutions/sets_union_inter.py b/src/act4e_solutions/sets_union_inter.py
index 3a4c419..edf9bd0 100644
--- a/src/act4e_solutions/sets_union_inter.py
+++ b/src/act4e_solutions/sets_union_inter.py
@@ -8,14 +8,14 @@ X = TypeVar("X")
class SolMakeSetUnion(I.MakeSetUnion):
@overload
def union(self, components: Sequence[I.FiniteSet[X]]) -> I.FiniteSetUnion[X, Any]:
- ...
+ ... # this is just a type declaration - do not implement
@overload
def union(self, components: Sequence[I.EnumerableSet[X]]) -> I.EnumerableSetUnion[X, Any]:
- ...
+ ... # this is just a type declaration - do not implement
def union(self, components: Sequence[I.EnumerableSet[X]]) -> I.EnumerableSetUnion[X, Any]:
- raise NotImplementedError()
+ raise NotImplementedError() # implement here
class SolSetoidOperations(I.SetoidOperations):
generated by cgit v1.2.1 (git 2.18.0) at 2024-11-25 08:06:04 +0100