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