add shortcut to retrieve kind of application

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Oct 22, 2024 · 8b657f2 · 8b657f2
1 parent 78d1139
commit 8b657f2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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 @@ def get_default_rounding_mode(ctx=None):
 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