(self, ctx: Any = None)
| 1129 | """SMT-LIB2 parser context (limited support).""" |
| 1130 | |
| 1131 | def __init__(self, ctx: Any = None) -> None: |
| 1132 | self._sorts: dict[str, Any] = {} |
| 1133 | self._decls: dict[str, Any] = {} |
| 1134 | |
| 1135 | def add_sort(self, sort: Any) -> None: |
| 1136 | """Add a sort to the parser context.""" |
nothing calls this directly
no outgoing calls
no test coverage detected