blob: 60472173ef661471737d4673a5cb4a3bb9fff795 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
from typing import Any, overload, TypeVar
import act4e_interfaces as I
C = TypeVar("C")
E = TypeVar("E")
X = TypeVar("X")
class SolFinitePosetConstructionTwisted(I.FinitePosetConstructionTwisted):
def twisted(self, s: I.FinitePoset[X]) -> I.FinitePosetOfIntervals[X, Any]:
raise NotImplementedError()
class SolFinitePosetConstructionArrow(I.FinitePosetConstructionArrow):
def arrow(self, s: I.FinitePoset[X]) -> I.FinitePosetOfIntervals[X, Any]:
raise NotImplementedError() # implement here
|
