Enum z3::AstKind [−][src]
#[repr(u32)] pub enum AstKind { Numeral, App, Var, Quantifier, Sort, FuncDecl, Unknown, }
Expand description
The different kinds of Z3 AST (abstract syntax trees). That is, terms, formulas and types.
This corresponds to Z3_ast_kind
in the C API.
Variants
numeral constants
This corresponds to Z3_NUMERAL_AST
in the C API.
constant and applications
This corresponds to Z3_APP_AST
in the C API.
bound variables
This corresponds to Z3_VAR_AST
in the C API.
quantifiers
This corresponds to Z3_QUANTIFIER_AST
in the C API.
sort
This corresponds to Z3_SORT_AST
in the C API.
function declaration
This corresponds to Z3_FUNC_DECL_AST
in the C API.
internal
This corresponds to Z3_UNKNOWN_AST
in the C API.
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for AstKind
impl UnwindSafe for AstKind
Blanket Implementations
Mutably borrows from an owned value. Read more