SortKind
public protocol SortKind
Protocol for types that represent Z3 sorts.
-
isConcrete
Default implementationWhether this is a concrete Sort kind, that is, it can be used to generate valid
Z3Sort
instances, or whether it represents a generic arrangement of sort categories.Calling
Self.getSort()
on non-concrete sort kinds results in runtime errors.Default Implementation
Declaration
Swift
static var isConcrete: Bool { get }
-
isAssignableFrom(_:
Default implementation_: )