Z3Sort
public class Z3Sort : Z3AstBase
extension Z3Sort: Equatable
extension Z3Sort: CustomStringConvertible
-
Alias for
ast
Declaration
Swift
public var sort: Z3_sort { get }
-
Return the sort name as a symbol.
Declaration
Swift
public var sortName: Z3Symbol { get }
-
Return the sort kind (e.g., array, tuple, int, bool, etc).
Seealso
Z3SortKind
Declaration
Swift
public var sortKind: Z3SortKind { get }
-
Convert the current AST node into a string.
Declaration
Swift
public override func toString() -> String
-
Translate/Copy the AST
self
from its current context to contexttarget
Declaration
Swift
public override func translate(to newContext: Z3Context) -> Z3Sort
-
Declaration
Swift
public static func == (lhs: Z3Sort, rhs: Z3Sort) -> Bool
-
Declaration
Swift
public var description: String { get }