Enum z3_sys::ParameterKind

#[repr(u32)]
pub enum ParameterKind {
    Int,
    Double,
    Rational,
    Symbol,
    Sort,
    AST,
    FuncDecl,
}

The different kinds of parameters that can be associated with function symbols.

This corresponds to Z3_parameter_kind in the C API.

See also:

• Z3_get_decl_num_parameters
• Z3_get_decl_parameter_kind

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

impl Clone for ParameterKind

fn clone(&self) -> ParameterKind

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ParameterKind

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Hash for ParameterKind

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq<ParameterKind> for ParameterKind

fn eq(&self, other: &ParameterKind) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for ParameterKind

impl Eq for ParameterKind

impl StructuralEq for ParameterKind

impl StructuralPartialEq for ParameterKind