#[repr(u32)]pub enum ParamKind {
UInt,
Bool,
Double,
Symbol,
String,
Other,
Invalid,
}
Expand description
The different kinds of parameters that can be associated with parameter sets.
(see Z3_mk_params
).
This corresponds to Z3_param_kind
in the C API.
Variants§
UInt
integer parameters.
This corresponds to Z3_PK_UINT
in the C API.
Bool
boolean parameters.
This corresponds to Z3_PK_BOOL
in the C API.
Double
double parameters.
This corresponds to Z3_PK_DOUBLE
in the C API.
Symbol
symbol parameters.
This corresponds to Z3_PK_SYMBOL
in the C API.
String
string parameters.
This corresponds to Z3_PK_STRING
in the C API.
Other
all internal parameter kinds which are not exposed in the API.
This corresponds to Z3_PK_OTHER
in the C API.
Invalid
invalid parameter.
This corresponds to Z3_PK_INVALID
in the C API.
Trait Implementations§
source§impl PartialEq<ParamKind> for ParamKind
impl PartialEq<ParamKind> for ParamKind
impl Copy for ParamKind
impl Eq for ParamKind
impl StructuralEq for ParamKind
impl StructuralPartialEq for ParamKind
Auto Trait Implementations§
impl RefUnwindSafe for ParamKind
impl Send for ParamKind
impl Sync for ParamKind
impl Unpin for ParamKind
impl UnwindSafe for ParamKind
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