blob: e70b2a93f185364731668097e07bdac6b88c1ff6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
from typing import Any, overload, Sequence, TypeVar
import act4e_interfaces as I
X = TypeVar("X")
class SolFiniteMakeSetUnion(I.FiniteMakeSetUnion):
def union(self, components: Sequence[I.FiniteSet[X]]) -> I.FiniteSetUnion[X, Any]:
raise NotImplementedError() # implement here
class SolSetoidOperations(I.SetoidOperations):
@classmethod
def union_setoids(cls, a: I.Setoid[X], b: I.Setoid[X]) -> I.Setoid[X]:
raise NotImplementedError()
@classmethod
def intersection_setoids(cls, a: I.Setoid[X], b: I.Setoid[X]) -> I.Setoid[X]:
raise NotImplementedError()
|
