summaryrefslogtreecommitdiffstats
path: root/src/act4e_solutions/relations_representation.py
blob: 69ccdf0ca65f4b7f2c26790ae4fc41db4a565c55 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
from typing import TypeVar

import act4e_interfaces as I

A = TypeVar("A")
B = TypeVar("B")


class SolFiniteRelationRepresentation(I.FiniteRelationRepresentation):
    def load(self, h: I.IOHelper, data: I.FiniteRelation_desc) -> I.FiniteRelation[A, B]:
        raise NotImplementedError()

    def save(self, h: I.IOHelper, f: I.FiniteRelation[A, B]) -> I.FiniteRelation_desc:
        raise NotImplementedError()