From 60c504f4ef64eaf085b1fec2773704cd1102c611 Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Sun, 30 Jun 2019 15:22:40 +0100 Subject: [PATCH] make a few helpers static --- src/api/api_fpa.cpp | 16 ++++------------ 1 file changed, 4 insertions(+), 12 deletions(-) diff --git a/src/api/api_fpa.cpp b/src/api/api_fpa.cpp index 8301ea604..aa47079a9 100644 --- a/src/api/api_fpa.cpp +++ b/src/api/api_fpa.cpp @@ -22,27 +22,19 @@ Notes: #include "api/api_context.h" #include "ast/fpa_decl_plugin.h" -bool is_fp_sort(Z3_context c, Z3_sort s) { +static bool is_fp_sort(Z3_context c, Z3_sort s) { return mk_c(c)->fpautil().is_float(to_sort(s)); } -bool is_fp(Z3_context c, Z3_ast a) { +static bool is_fp(Z3_context c, Z3_ast a) { return mk_c(c)->fpautil().is_float(to_expr(a)); } -bool is_rm_sort(Z3_context c, Z3_sort s) { - return mk_c(c)->fpautil().is_rm(to_sort(s)); -} - -bool is_rm(Z3_context c, Z3_ast a) { +static bool is_rm(Z3_context c, Z3_ast a) { return mk_c(c)->fpautil().is_rm(to_expr(a)); } -bool is_bv_sort(Z3_context c, Z3_sort s) { - return mk_c(c)->bvutil().is_bv_sort(to_sort(s)); -} - -bool is_bv(Z3_context c, Z3_ast a) { +static bool is_bv(Z3_context c, Z3_ast a) { return mk_c(c)->bvutil().is_bv(to_expr(a)); }