Protocols Reference
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