Enum z3_sys::ParameterKind
source · #[repr(u32)]pub enum ParameterKind {
Int,
Double,
Rational,
Symbol,
Sort,
AST,
FuncDecl,
}
Expand description
The different kinds of parameters that can be associated with function symbols.
This corresponds to Z3_parameter_kind
in the C API.
See also:
Variants§
Int
An integer parameter.
This corresponds to Z3_PARAMETER_INT
in the C API.
Double
A double parameter.
This corresponds to Z3_PARAMETER_DOUBLE
in the C API.
Rational
A rational number parameter.
This corresponds to Z3_PARAMETER_RATIONAL
in the C API.
Symbol
A symbol parameter.
This corresponds to Z3_PARAMETER_SYMBOL
in the C API.
Sort
A sort parameter.
This corresponds to Z3_PARAMETER_SORT
in the C API.
AST
An expression parameter.
This corresponds to Z3_PARAMETER_AST
in the C API.
FuncDecl
A function declaration parameter.
This corresponds to Z3_PARAMETER_FUNC_DECL
in the C API.
Trait Implementations§
source§impl Clone for ParameterKind
impl Clone for ParameterKind
source§fn clone(&self) -> ParameterKind
fn clone(&self) -> ParameterKind
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for ParameterKind
impl Debug for ParameterKind
source§impl Hash for ParameterKind
impl Hash for ParameterKind
source§impl PartialEq<ParameterKind> for ParameterKind
impl PartialEq<ParameterKind> for ParameterKind
source§fn eq(&self, other: &ParameterKind) -> bool
fn eq(&self, other: &ParameterKind) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.impl Copy for ParameterKind
impl Eq for ParameterKind
impl StructuralEq for ParameterKind
impl StructuralPartialEq for ParameterKind
Auto Trait Implementations§
impl RefUnwindSafe for ParameterKind
impl Send for ParameterKind
impl Sync for ParameterKind
impl Unpin for ParameterKind
impl UnwindSafe for ParameterKind
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