diff options
author | Andrea Censi <acensi@ethz.ch> | 2022-02-21 12:24:14 +0100 |
---|---|---|
committer | Andrea Censi <acensi@ethz.ch> | 2022-02-21 12:24:14 +0100 |
commit | cc712ed5fdf07e24af3ac0a133f483c506af55a9 (patch) | |
tree | f878dc90bc61fc65ef256d68f7d06586eab8dafe /src/act4e_solutions/relations.py | |
parent | Bump to version 7.1.2202211122 [ci skip] (diff) | |
download | act4e-cc712ed5fdf07e24af3ac0a133f483c506af55a9.tar.gz act4e-cc712ed5fdf07e24af3ac0a133f483c506af55a9.zip |
skeletons
Diffstat (limited to 'src/act4e_solutions/relations.py')
-rw-r--r-- | src/act4e_solutions/relations.py | 10 |
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() |