src/act4e_solutions/posets_construction.py


1
2
3
4
5
6
7
8
9
10

from typing import Any, TypeVar

import act4e_interfaces as I

X = TypeVar("X")


class SolFinitePosetConstructionPower(I.FinitePosetConstructionPower):
    def powerposet(self, s: I.FiniteSet[X]) -> I.FinitePosetOfFiniteSubsets[X, Any]:
        raise NotImplementedError()