[英]Array datasort declaration API in C#
鉴于我具有自定义定义的数据类型(比如说客户),我想定义以下数组数据类型:
Customers[]
。
查看Z3 C#API:http: //z3prover.github.io/api/html/class_microsoft_1_1_z3_1_1_context.html
var customerArraySort = context.MkArraySort(<domain>, <range>);
<domain>
和<range>
是什么意思? var customerArraySort = context.MkArraySort(customerSort, context.IntSort);
(免责声明:我没有Z3经验或定理证明背景)
此处记录了Context.MkArraySort
:http: //z3prover.github.io/api/html/class_microsoft_1_1_z3_1_1_context.html#ac25b9e8235bb453b4fd33de33d15e917
有两个具有相同名称的参数重载,除了一个重载接受单个Sort domain
参数,另一个重载接受Sort[] domain
数组参数。
这两种方法都是ArraySort
类对象的工厂方法,它们表示数组的排序。
domain
和range
是数学中分别指函数输入和输出的术语: https : //www.wolframalpha.com/examples/mathematics/mathematical-functions/domain-and-range/ (我接受缺少Z3的文档,例如方法摘要简短,无用且缺少示例)。
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.