Structures
The following structures are available globally.
-
A unicode character sort.
See moreDeclaration
Swift
public struct CharSort : ArithmeticSort
-
An integer sort. Note that this is not the same as a machine integer.
See moreDeclaration
Swift
public struct IntSort : ArithmeticSort
-
A real number sort. Note that this type is not a floating point number.
See moreDeclaration
Swift
public struct RealSort : ArithmeticSort
-
A BitVector sort to type-erase
See moreZ3Ast<T>
instances to. Note: You should not pass this bit vector sort to methods that create new AST based on sort, and doing so will result in a runtime error when trying to callgetSort
.Declaration
Swift
public struct AnyBitVectorSort : NumericalSort
-
A bit width sort which fits as many bits as the bit width of its
See moreT
parameterDeclaration
Swift
public struct BitVectorOfInt<T> : BitVectorSort where T : FixedWidthInteger
-
A bit vector of length 1
See moreDeclaration
Swift
public struct BitVectorSort1 : BitVectorSort
-
A bit vector of length 128
See moreDeclaration
Swift
public struct BitVectorSort128 : BitVectorSort
-
A FP sort to type-erase
See moreZ3Ast<T>
instances to. Note: You should not pass this float sort to methods that create new AST based on sort, and doing so will result in a runtime error when trying to callgetSort
.Declaration
Swift
public struct AnyFPSort : NumericalSort
-
A Quadruple-precision floating point sort
See moreDeclaration
Swift
public struct FP128Sort : FloatingSort
-
A half precision floating point sort
See moreDeclaration
Swift
public struct FP16Sort : FloatingSort
-
A meta-sort that is used to represent regular expression sorts. Is not a
SortKind
itself as it is not a concrete type that can specializeZ3Ast
instances, but used solely to refer to regular expression sorts.The element is the element of the underlying sequence sort of the regular expression.
See moreDeclaration
Swift
public struct ReSort<Element> where Element : SortKind