Z3SortKind
public extension Z3SortKind
-
Declaration
Swift
static let uninterpretedSort: Z3_sort_kind
-
Declaration
Swift
static let boolSort: Z3_sort_kind
-
Declaration
Swift
static let intSort: Z3_sort_kind
-
Declaration
Swift
static let realSort: Z3_sort_kind
-
Declaration
Swift
static let bvSort: Z3_sort_kind
-
Declaration
Swift
static let arraySort: Z3_sort_kind
-
Declaration
Swift
static let datatypeSort: Z3_sort_kind
-
Declaration
Swift
static let relationSort: Z3_sort_kind
-
Declaration
Swift
static let finiteDomainSort: Z3_sort_kind
-
Declaration
Swift
static let floatingPointSort: Z3_sort_kind
-
Declaration
Swift
static let roundingModeSort: Z3_sort_kind
-
Declaration
Swift
static let seqSort: Z3_sort_kind
-
Declaration
Swift
static let reSort: Z3_sort_kind
-
Declaration
Swift
static let charSort: Z3_sort_kind
-
Declaration
Swift
static let unknownSort: Z3_sort_kind