diff options
| author | Andrea Censi <acensi@ethz.ch> | 2022-02-23 11:54:02 +0100 |
|---|---|---|
| committer | Andrea Censi <acensi@ethz.ch> | 2022-02-23 11:54:02 +0100 |
| commit | b4484700a2fbf4a569ab9e2789d6ea3d24956731 (patch) | |
| tree | b50cf3aa206c3fd28a1d5365583e20cbfcccdf26 /src/act4e_solutions/maps.py | |
| parent | merge (diff) | |
| download | act4e-b4484700a2fbf4a569ab9e2789d6ea3d24956731.tar.gz act4e-b4484700a2fbf4a569ab9e2789d6ea3d24956731.zip | |
more comments
Diffstat (limited to 'src/act4e_solutions/maps.py')
| -rw-r--r-- | src/act4e_solutions/maps.py | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/act4e_solutions/maps.py b/src/act4e_solutions/maps.py index acba84e..8f161f4 100644 --- a/src/act4e_solutions/maps.py +++ b/src/act4e_solutions/maps.py @@ -23,6 +23,3 @@ class SolFiniteMapOperations(I.FiniteMapOperations): def compose(self, f: I.FiniteMap[A, B], g: I.FiniteMap[B, C]) -> I.FiniteMap[A, C]: raise NotImplementedError() - - def as_relation(self, f: I.FiniteMap[A, B]) -> I.FiniteRelation[A, B]: - raise NotImplementedError() |