Method get_answer

lean_py/z3/solver.py:957–958 · view source on GitHub ↗

(self)

Source from the content-addressed store, hash-verified

955	# -- introspection -------------------------------------------------------
956
957	def get_answer(self) -> ExprRef:
958	return BoolVal(self._last_result == sat)
959
960	def get_ground_sat_answer(self) -> ExprRef:
961	return BoolVal(self._last_result == sat)

nothing calls this directly

BoolValFunction · 0.90

no test coverage detected