blob: a91d4d8bda16b817275ddd770478013ea1205ccf (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
from typing import TypeVar
import act4e_interfaces as I
A = TypeVar("A")
B = TypeVar("B")
X = TypeVar("X")
class SolFiniteMonotoneMapProperties(I.FiniteMonotoneMapProperties):
def is_monotone(self, p1: I.FinitePoset[A], p2: I.FinitePoset[B], m: I.FiniteMap[A, B]) -> bool:
raise NotImplementedError()
def is_antitone(self, p1: I.FinitePoset[A], p2: I.FinitePoset[B], m: I.FiniteMap[A, B]) -> bool:
raise NotImplementedError()
|
