(self, ctx: Any = None)
| 870 | """ |
| 871 | |
| 872 | def __init__(self, ctx: Any = None) -> None: |
| 873 | self._decls: list[FuncDeclRef] = [] |
| 874 | self._declared_vars: list[ExprRef] = [] |
| 875 | self._premises: list[BoolRef] = [] |
| 876 | self._rules: list[BoolRef] = [] |
| 877 | self._last_result: CheckSatResult = unknown |
| 878 | |
| 879 | # -- declarations -------------------------------------------------------- |
| 880 |
nothing calls this directly
no outgoing calls
no test coverage detected