summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorAndrea Censi <acensi@ethz.ch>2022-02-22 14:09:51 +0100
committerAndrea Censi <acensi@ethz.ch>2022-02-22 14:10:39 +0100
commitc9c95b13effa1840b921a0606936510d7eafa611 (patch)
tree9597478c419420a1359b1dc582a6c9325b5fd822 /src
parentUpdate README.md (diff)
downloadact4e-c9c95b13effa1840b921a0606936510d7eafa611.tar.gz
act4e-c9c95b13effa1840b921a0606936510d7eafa611.zip
updates
Diffstat (limited to '')
-rw-r--r--src/act4e_solutions/maps_representation.py2
-rw-r--r--src/act4e_solutions/posets_bounds.py4
-rw-r--r--src/act4e_solutions/posets_representation.py1
-rw-r--r--src/act4e_solutions/relations_representation.py1
-rw-r--r--src/act4e_solutions/semigroups_representation.py1
-rw-r--r--src/act4e_solutions/sets_properties.py2
-rw-r--r--src/act4e_solutions/sets_representation.py2
7 files changed, 4 insertions, 9 deletions
diff --git a/src/act4e_solutions/maps_representation.py b/src/act4e_solutions/maps_representation.py
index 45c816e..f532658 100644
--- a/src/act4e_solutions/maps_representation.py
+++ b/src/act4e_solutions/maps_representation.py
@@ -1,14 +1,12 @@
from typing import Any, TypeVar
import act4e_interfaces as I
-
A = TypeVar("A")
B = TypeVar("B")
class SolFiniteMapRepresentation(I.FiniteMapRepresentation):
-
def load(self, h: I.IOHelper, s: I.FiniteMap_desc) -> I.FiniteMap[A, B]:
raise NotImplementedError()
diff --git a/src/act4e_solutions/posets_bounds.py b/src/act4e_solutions/posets_bounds.py
index 73adc98..eca887f 100644
--- a/src/act4e_solutions/posets_bounds.py
+++ b/src/act4e_solutions/posets_bounds.py
@@ -3,7 +3,8 @@ 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:
@@ -35,7 +36,6 @@ class SolFinitePosetSubsetProperties(I.FinitePosetSubsetProperties):
class SolFinitePosetSubsetProperties2(I.FinitePosetSubsetProperties2):
-
def is_lower_set(self, fp: I.FinitePoset[X], s: List[X]) -> bool:
raise NotImplementedError()
diff --git a/src/act4e_solutions/posets_representation.py b/src/act4e_solutions/posets_representation.py
index d7b2991..c43da82 100644
--- a/src/act4e_solutions/posets_representation.py
+++ b/src/act4e_solutions/posets_representation.py
@@ -4,7 +4,6 @@ import act4e_interfaces as I
class SolFinitePosetRepresentation(I.FinitePosetRepresentation):
-
def load(self, h: I.IOHelper, s: I.FinitePoset_desc) -> I.FinitePoset[Any]:
raise NotImplementedError()
diff --git a/src/act4e_solutions/relations_representation.py b/src/act4e_solutions/relations_representation.py
index 8dbde1c..69ccdf0 100644
--- a/src/act4e_solutions/relations_representation.py
+++ b/src/act4e_solutions/relations_representation.py
@@ -7,7 +7,6 @@ B = TypeVar("B")
class SolFiniteRelationRepresentation(I.FiniteRelationRepresentation):
-
def load(self, h: I.IOHelper, data: I.FiniteRelation_desc) -> I.FiniteRelation[A, B]:
raise NotImplementedError()
diff --git a/src/act4e_solutions/semigroups_representation.py b/src/act4e_solutions/semigroups_representation.py
index 23e2ba1..4d75708 100644
--- a/src/act4e_solutions/semigroups_representation.py
+++ b/src/act4e_solutions/semigroups_representation.py
@@ -6,7 +6,6 @@ X = TypeVar("X")
class SolFiniteSemigroupRepresentation(I.FiniteSemigroupRepresentation):
-
def load(self, h: I.IOHelper, s: I.FiniteSemigroup_desc) -> I.FiniteSemigroup[Any]:
raise NotImplementedError()
diff --git a/src/act4e_solutions/sets_properties.py b/src/act4e_solutions/sets_properties.py
index 1a2ab88..cca6de9 100644
--- a/src/act4e_solutions/sets_properties.py
+++ b/src/act4e_solutions/sets_properties.py
@@ -1,7 +1,7 @@
from typing import Any, overload, Sequence, TypeVar
import act4e_interfaces as I
-
+
X = TypeVar("X")
diff --git a/src/act4e_solutions/sets_representation.py b/src/act4e_solutions/sets_representation.py
index 10d89c9..7f3e818 100644
--- a/src/act4e_solutions/sets_representation.py
+++ b/src/act4e_solutions/sets_representation.py
@@ -1,7 +1,7 @@
from typing import Any
import act4e_interfaces as I
-
+
class SolFiniteSetRepresentation(I.FiniteSetRepresentation):
def load(self, h: I.IOHelper, data: I.FiniteSet_desc) -> I.FiniteSet[Any]: