#[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.