Method
__init__
(
self,
type_name: str,
recognizer_name: str,
domain: tuple[SortRef, ...],
result_sort: SortRef,
)
Source from the content-addressed store, hash-verified
| 1016 | __slots__ = ("_type_name", "_recognizer_name") |
| 1017 | |
| 1018 | def __init__( |
| 1019 | self, |
| 1020 | type_name: str, |
| 1021 | recognizer_name: str, |
| 1022 | domain: tuple[SortRef, ...], |
| 1023 | result_sort: SortRef, |
| 1024 | ) -> None: |
| 1025 | super().__init__(recognizer_name, domain, result_sort) |
| 1026 | self._type_name = type_name |
| 1027 | self._recognizer_name = recognizer_name |
| 1028 | |
| 1029 | def __call__(self, *args: ExprRef) -> BoolRef: |
| 1030 | if len(args) != 1: |
Callers
nothing calls this directly
Tested by
no test coverage detected