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()
|