C++ (Cpp) LOG_Z3_func_interp_get_else Beispiele

Beispiel #1

Datei: api_model.cpp Projekt: kayceesrk/Z3

 Z3_ast Z3_API Z3_func_interp_get_else(Z3_context c, Z3_func_interp f) {
     Z3_TRY;
     LOG_Z3_func_interp_get_else(c, f);
     RESET_ERROR_CODE();
     CHECK_NON_NULL(f, 0);
     expr * e = to_func_interp_ref(f)->get_else();
     RETURN_Z3(of_expr(e));
     Z3_CATCH_RETURN(0);
 }

Beispiel #2

Datei: api_model.cpp Projekt: NikolajBjorner/z3

 Z3_ast Z3_API Z3_func_interp_get_else(Z3_context c, Z3_func_interp f) {
     Z3_TRY;
     LOG_Z3_func_interp_get_else(c, f);
     RESET_ERROR_CODE();
     CHECK_NON_NULL(f, nullptr);
     expr * e = to_func_interp_ref(f)->get_else();
     if (e) {
         mk_c(c)->save_ast_trail(e);
     }
     RETURN_Z3(of_expr(e));
     Z3_CATCH_RETURN(nullptr);
 }