Z3AstKind

public extension Z3AstKind

  • numeral constants

    Declaration

    Swift

    static let numeralAst: Z3_ast_kind

  • constant and applications

    Declaration

    Swift

    static let appAst: Z3_ast_kind

  • bound variables

    Declaration

    Swift

    static let varAst: Z3_ast_kind

  • quantifiers

    Declaration

    Swift

    static let quantifierAst: Z3_ast_kind

  • sort

    Declaration

    Swift

    static let sortAst: Z3_ast_kind

  • function declaration

    Declaration

    Swift

    static let funcDeclAst: Z3_ast_kind

  • internal

    Declaration

    Swift

    static let unknownAst: Z3_ast_kind