• 设为首页
  • 点击收藏
  • 手机版
    手机扫一扫访问
    迪恩网络手机版
  • 关注官方公众号
    微信扫一扫关注
    公众号
登陆 注册

C# Z3_sort类代码示例

原作者: [db:作者] 来自: [db:来源] 收藏 邀请

本文整理汇总了C#中Z3_sort类的典型用法代码示例。如果您正苦于以下问题：C# Z3_sort类的具体用法？C# Z3_sort怎么用？C# Z3_sort使用的例子？那么恭喜您, 这里精选的类代码示例或许可以为您提供帮助。



Z3_sort类属于命名空间，在下文中一共展示了Z3_sort类的20个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于我们的系统推荐出更棒的C#代码示例。

示例1: Z3_mk_numeral

 public extern static Z3_ast Z3_mk_numeral(Z3_context a0, string a1, Z3_sort a2);
开发者ID:killbug2004，项目名称:Snippets，代码行数:1，代码来源:Native.cs


示例2: Z3_fpa_get_sbits

 public static uint Z3_fpa_get_sbits(Z3_context a0, Z3_sort a1) {
     uint r = LIB.Z3_fpa_get_sbits(a0, a1);
     Z3_error_code err = (Z3_error_code)LIB.Z3_get_error_code(a0);
     if (err != Z3_error_code.Z3_OK)
         throw new Z3Exception(Marshal.PtrToStringAnsi(LIB.Z3_get_error_msg_ex(a0, (uint)err)));
     return r;
 }
开发者ID:killbug2004，项目名称:Snippets，代码行数:7，代码来源:Native.cs


示例3: Z3_model_get_sort_universe

 public extern static Z3_ast_vector Z3_model_get_sort_universe(Z3_context a0, Z3_model a1, Z3_sort a2);
开发者ID:killbug2004，项目名称:Snippets，代码行数:1，代码来源:Native.cs


示例4: Z3_get_relation_arity

 public extern static uint Z3_get_relation_arity(Z3_context a0, Z3_sort a1);
开发者ID:killbug2004，项目名称:Snippets，代码行数:1，代码来源:Native.cs


示例5: Z3_mk_fpa_numeral_double

 public static Z3_ast Z3_mk_fpa_numeral_double(Z3_context a0, double a1, Z3_sort a2) {
     Z3_ast r = LIB.Z3_mk_fpa_numeral_double(a0, a1, a2);
     Z3_error_code err = (Z3_error_code)LIB.Z3_get_error_code(a0);
     if (err != Z3_error_code.Z3_OK)
         throw new Z3Exception(Marshal.PtrToStringAnsi(LIB.Z3_get_error_msg_ex(a0, (uint)err)));
     return r;
 }
开发者ID:killbug2004，项目名称:Snippets，代码行数:7，代码来源:Native.cs


示例6: Z3_get_tuple_sort_field_decl

 public extern static Z3_func_decl Z3_get_tuple_sort_field_decl(Z3_context a0, Z3_sort a1, uint a2);
开发者ID:killbug2004，项目名称:Snippets，代码行数:1，代码来源:Native.cs


示例7: Z3_get_datatype_sort_recognizer

 public extern static Z3_func_decl Z3_get_datatype_sort_recognizer(Z3_context a0, Z3_sort a1, uint a2);
开发者ID:killbug2004，项目名称:Snippets，代码行数:1，代码来源:Native.cs


示例8: Z3_get_sort_name

 public extern static IntPtr Z3_get_sort_name(Z3_context a0, Z3_sort a1);
开发者ID:killbug2004，项目名称:Snippets，代码行数:1，代码来源:Native.cs


示例9: Z3_sort_to_ast

 public extern static Z3_ast Z3_sort_to_ast(Z3_context a0, Z3_sort a1);
开发者ID:killbug2004，项目名称:Snippets，代码行数:1，代码来源:Native.cs


示例10: Z3_mk_unsigned_int64

 public extern static Z3_ast Z3_mk_unsigned_int64(Z3_context a0, UInt64 a1, Z3_sort a2);
开发者ID:killbug2004，项目名称:Snippets，代码行数:1，代码来源:Native.cs


示例11: Z3_mk_bound

 public extern static Z3_ast Z3_mk_bound(Z3_context a0, uint a1, Z3_sort a2);
开发者ID:killbug2004，项目名称:Snippets，代码行数:1，代码来源:Native.cs


示例12: Z3_mk_int64

 public extern static Z3_ast Z3_mk_int64(Z3_context a0, Int64 a1, Z3_sort a2);
开发者ID:killbug2004，项目名称:Snippets，代码行数:1，代码来源:Native.cs


示例13: Z3_mk_unsigned_int

 public extern static Z3_ast Z3_mk_unsigned_int(Z3_context a0, uint a1, Z3_sort a2);
开发者ID:killbug2004，项目名称:Snippets，代码行数:1，代码来源:Native.cs


示例14: Z3_mk_int

 public extern static Z3_ast Z3_mk_int(Z3_context a0, int a1, Z3_sort a2);
开发者ID:killbug2004，项目名称:Snippets，代码行数:1，代码来源:Native.cs


示例15: Z3_get_tuple_sort_mk_decl

 public extern static Z3_func_decl Z3_get_tuple_sort_mk_decl(Z3_context a0, Z3_sort a1);
开发者ID:killbug2004，项目名称:Snippets，代码行数:1，代码来源:Native.cs


示例16: Z3_is_eq_sort

 public extern static int Z3_is_eq_sort(Z3_context a0, Z3_sort a1, Z3_sort a2);
开发者ID:killbug2004，项目名称:Snippets，代码行数:1，代码来源:Native.cs


示例17: Z3_get_tuple_sort_num_fields

 public extern static uint Z3_get_tuple_sort_num_fields(Z3_context a0, Z3_sort a1);
开发者ID:killbug2004，项目名称:Snippets，代码行数:1，代码来源:Native.cs


示例18: Z3_get_sort_kind

 public extern static uint Z3_get_sort_kind(Z3_context a0, Z3_sort a1);
开发者ID:killbug2004，项目名称:Snippets，代码行数:1，代码来源:Native.cs


示例19: Z3_get_datatype_sort_num_constructors

 public extern static uint Z3_get_datatype_sort_num_constructors(Z3_context a0, Z3_sort a1);
开发者ID:killbug2004，项目名称:Snippets，代码行数:1，代码来源:Native.cs


示例20: Z3_get_bv_sort_size

 public extern static uint Z3_get_bv_sort_size(Z3_context a0, Z3_sort a1);
开发者ID:killbug2004，项目名称:Snippets，代码行数:1，代码来源:Native.cs



注：本文中的Z3_sort类示例整理自Github/MSDocs等源码及文档管理平台，相关代码片段筛选自各路编程大神贡献的开源项目，源码版权归原作者所有，传播和使用请参考对应项目的License；未经允许，请勿转载。

鲜花
握手
雷人
路过
鸡蛋
该文章已有0人参与评论

请发表评论

全部评论

专题导读
More+
上一篇：
C# ZACommons类代码示例发布时间：2022-05-24
下一篇：
C# Z3_solver类代码示例发布时间：2022-05-24
热门推荐
More+
热门话题
More+
阅读排行榜

扫描微信二维码

查看手机版网站

随时了解更新最新资讯

139-2527-9053

在线客服（服务时间 9:00～18:00）

在线QQ客服
地址：深圳市南山区西丽大学城创智工业园
电邮：jeky_zhao#qq.com
移动电话：139-2527-9053

Powered by 互联科技 X3.4© 2001-2213 极客世界.|Sitemap