public MkConstructor ( |
||
name | constructor name | |
recognizer | name of recognizer function. | |
fieldNames | names of the constructor fields. | |
sorts | Microsoft.Z3.Sort | field sorts, 0 if the field sort refers to a recursive sort. |
sortRefs | uint | reference to datatype sort that is an argument to the constructor; /// if the corresponding sort reference is 0, then the value in sort_refs should be an index /// referring to one of the recursive datatypes that is declared. |
return | Microsoft.Z3.Constructor |