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 context target

    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 }