From 4308dfbcdcd089790f202c260abdc7e9c2e380b1 Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Mon, 16 Dec 2024 12:13:45 +0000 Subject: [PATCH] Update z3_api.h --- src/api/z3_api.h | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/src/api/z3_api.h b/src/api/z3_api.h index 791d36b2f..39b86faa0 100644 --- a/src/api/z3_api.h +++ b/src/api/z3_api.h @@ -4992,6 +4992,16 @@ extern "C" { */ bool Z3_API Z3_is_app(Z3_context c, Z3_ast a); + /** + def_API('Z3_is_ground', BOOL, (_in(CONTEXT), _in(AST))) + */ + bool Z3_API Z3_is_ground(Z3_context c, Z3_ast a); + + /** + def_API('Z3_get_depth', UINT, (_in(CONTEXT), _in(AST))) + */ + unsigned Z3_API Z3_get_depth(Z3_context c, Z3_ast a); + /** def_API('Z3_is_numeral_ast', BOOL, (_in(CONTEXT), _in(AST))) */