Enum z3_sys::ParamKind [−][src]
#[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
integer parameters.
This corresponds to Z3_PK_UINT
in the C API.
boolean parameters.
This corresponds to Z3_PK_BOOL
in the C API.
double parameters.
This corresponds to Z3_PK_DOUBLE
in the C API.
symbol parameters.
This corresponds to Z3_PK_SYMBOL
in the C API.
string parameters.
This corresponds to Z3_PK_STRING
in the C API.
all internal parameter kinds which are not exposed in the API.
This corresponds to Z3_PK_OTHER
in the C API.
invalid parameter.
This corresponds to Z3_PK_INVALID
in the C API.
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for ParamKind
impl UnwindSafe for ParamKind
Blanket Implementations
Mutably borrows from an owned value. Read more