Protocols
The following protocols are available globally.
-
Protocol for types that represent Z3 sorts.
See moreDeclaration
Swift
public protocol SortKind
-
Protocol for integer or real numerical sorts.
Declaration
Swift
public protocol ArithmeticSort : NumericalSort
-
Protocol for bit vectors numerical sorts.
See moreDeclaration
Swift
public protocol BitVectorSort : NumericalSort
-
Protocol for floating-point numerical sorts.
See moreDeclaration
Swift
public protocol FloatingSort : NumericalSort
-
Base protocol for all other numerical sort types.
Declaration
Swift
public protocol NumericalSort : SortKind