#[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
numeral constants
This corresponds to Z3_NUMERAL_AST
in the C API.
App
constant and applications
This corresponds to Z3_APP_AST
in the C API.
Var
bound variables
This corresponds to Z3_VAR_AST
in the C API.
Quantifier
quantifiers
This corresponds to Z3_QUANTIFIER_AST
in the C API.
Sort
sort
This corresponds to Z3_SORT_AST
in the C API.
FuncDecl
function declaration
This corresponds to Z3_FUNC_DECL_AST
in the C API.
Unknown
internal
This corresponds to Z3_UNKNOWN_AST
in the C API.
Trait Implementations§
source§impl PartialEq<AstKind> for AstKind
impl PartialEq<AstKind> for AstKind
impl Copy for AstKind
impl Eq for AstKind
impl StructuralEq for AstKind
impl StructuralPartialEq for AstKind
Auto Trait Implementations§
impl RefUnwindSafe for AstKind
impl Send for AstKind
impl Sync for AstKind
impl Unpin for AstKind
impl UnwindSafe for AstKind
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more