From 8b657f27aabaa921e8d951b0a8a0c83a43495879 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 22 Oct 2024 13:05:58 -0700 Subject: [PATCH] add shortcut to retrieve kind of application Signed-off-by: Nikolaj Bjorner --- src/api/python/z3/z3.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/api/python/z3/z3.py b/src/api/python/z3/z3.py index 290a8f58e..38538509c 100644 --- a/src/api/python/z3/z3.py +++ b/src/api/python/z3/z3.py @@ -1400,7 +1400,7 @@ def is_app_of(a, k): >>> is_app_of(n, Z3_OP_MUL) False """ - return is_app(a) and a.decl().kind() == k + return is_app(a) and a.kind() == k def If(a, b, c, ctx=None): @@ -9454,7 +9454,7 @@ _ROUNDING_MODES = frozenset({ def set_default_rounding_mode(rm, ctx=None): global _dflt_rounding_mode if is_fprm_value(rm): - _dflt_rounding_mode = rm.decl().kind() + _dflt_rounding_mode = rm.kind() else: _z3_assert(_dflt_rounding_mode in _ROUNDING_MODES, "illegal rounding mode") _dflt_rounding_mode = rm