C++ (Cpp) mk_app_array_core示例

示例#1

文件： api_array.cpp 项目： AleksandarZeljic/z3

 Z3_ast Z3_API Z3_mk_full_set(Z3_context c, Z3_sort domain) {
     Z3_TRY;
     LOG_Z3_mk_full_set(c, domain);
     RESET_ERROR_CODE();
     Z3_ast r = mk_app_array_core(c, domain, Z3_mk_true(c));
     RETURN_Z3(r);  
     Z3_CATCH_RETURN(0);
 }

示例#2

文件： api_array.cpp 项目： jackluo923/juxta

 Z3_ast Z3_API Z3_mk_empty_set(__in Z3_context c, __in Z3_sort domain) {
     Z3_TRY;
     LOG_Z3_mk_empty_set(c, domain);
     RESET_ERROR_CODE();
     Z3_ast r = mk_app_array_core(c, domain, Z3_mk_false(c));
     RETURN_Z3(r);
     Z3_CATCH_RETURN(0);
 }