MCPcopy Create free account
hub / github.com/BasisResearch/lean.py / reset

Method reset

lean_py/z3/core.py:3105–3106  ·  view source on GitHub ↗
(self)

Source from the content-addressed store, hash-verified

3103 self._map.pop(k, None)
3104
3105 def reset(self) -> None:
3106 self._map.clear()
3107
3108 def keys(self):
3109 return list(self._map.keys())

Callers 1

test_resetMethod · 0.95

Calls 1

clearMethod · 0.80

Tested by 1

test_resetMethod · 0.76