summaryrefslogtreecommitdiffstats
path: root/src/act4e_solutions/relations.py
diff options
context:
space:
mode:
authorAndrea Censi <acensi@ethz.ch>2022-02-21 12:24:14 +0100
committerAndrea Censi <acensi@ethz.ch>2022-02-21 12:24:14 +0100
commitcc712ed5fdf07e24af3ac0a133f483c506af55a9 (patch)
treef878dc90bc61fc65ef256d68f7d06586eab8dafe /src/act4e_solutions/relations.py
parentBump to version 7.1.2202211122 [ci skip] (diff)
downloadact4e-cc712ed5fdf07e24af3ac0a133f483c506af55a9.tar.gz
act4e-cc712ed5fdf07e24af3ac0a133f483c506af55a9.zip
skeletons
Diffstat (limited to 'src/act4e_solutions/relations.py')
-rw-r--r--src/act4e_solutions/relations.py10
1 files changed, 5 insertions, 5 deletions
diff --git a/src/act4e_solutions/relations.py b/src/act4e_solutions/relations.py
index 47a7c3e..048b500 100644
--- a/src/act4e_solutions/relations.py
+++ b/src/act4e_solutions/relations.py
@@ -12,7 +12,7 @@ A = TypeVar("A")
B = TypeVar("B")
-class MyFiniteRelationProperties(I.FiniteRelationProperties):
+class SolFiniteRelationProperties(I.FiniteRelationProperties):
def is_surjective(self, fr: I.FiniteRelation[Any, Any]) -> bool:
raise NotImplementedError()
@@ -26,12 +26,12 @@ class MyFiniteRelationProperties(I.FiniteRelationProperties):
raise NotImplementedError()
-class MyFiniteRelationOperations(I.FiniteRelationOperations):
+class SolFiniteRelationOperations(I.FiniteRelationOperations):
def transpose(self, fr: I.FiniteRelation[A, B]) -> I.FiniteRelation[B, A]:
raise NotImplementedError()
-class MyFiniteEndorelationProperties(I.FiniteEndorelationProperties):
+class SolFiniteEndorelationProperties(I.FiniteEndorelationProperties):
def is_reflexive(self, fr: I.FiniteRelation[Any, Any]) -> bool:
raise NotImplementedError()
@@ -51,11 +51,11 @@ class MyFiniteEndorelationProperties(I.FiniteEndorelationProperties):
raise NotImplementedError()
-class MyFiniteEndorelationOperations(I.FiniteEndorelationOperations):
+class SolFiniteEndorelationOperations(I.FiniteEndorelationOperations):
def transitive_closure(self, fr: I.FiniteRelation[E, E]) -> I.FiniteRelation[E, E]:
raise NotImplementedError()
-class MyFiniteRelationCompose(I.FiniteRelationCompose):
+class SolFiniteRelationCompose(I.FiniteRelationCompose):
def compose(self, fr1: FiniteRelation[E1, E2], fr2: FiniteRelation[E2, E3]) -> I.FiniteRelation[E1, E3]:
raise NotImplementedError()