(self)
| 976 | raise NotImplementedError("Fixedpoint SMT-LIB parsing not supported") |
| 977 | |
| 978 | def __repr__(self) -> str: |
| 979 | return f"Fixedpoint({len(self._rules)} rules)" |
| 980 | |
| 981 | |
| 982 | # --------------------------------------------------------------------------- |
nothing calls this directly
no outgoing calls
no test coverage detected