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