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