Enum z3_sys::ParameterKind [−][src]
#[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
An integer parameter.
This corresponds to Z3_PARAMETER_INT
in the C API.
A double parameter.
This corresponds to Z3_PARAMETER_DOUBLE
in the C API.
A rational number parameter.
This corresponds to Z3_PARAMETER_RATIONAL
in the C API.
A symbol parameter.
This corresponds to Z3_PARAMETER_SYMBOL
in the C API.
A sort parameter.
This corresponds to Z3_PARAMETER_SORT
in the C API.
An expression parameter.
This corresponds to Z3_PARAMETER_AST
in the C API.
A function declaration parameter.
This corresponds to Z3_PARAMETER_FUNC_DECL
in the C API.
Trait Implementations
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
Mutably borrows from an owned value. Read more