Z3AstPrintMode

public extension Z3AstPrintMode

  • Print AST nodes in SMTLIB verbose format.

    Declaration

    Swift

    static let printSmtlibFull: Z3_ast_print_mode

  • Print AST nodes using a low-level format.

    Declaration

    Swift

    static let printLowLevel: Z3_ast_print_mode

  • Print AST nodes in SMTLIB 2.x compliant format.

    Declaration

    Swift

    static let printSmtlib2Compliant: Z3_ast_print_mode