Enum z3_sys::ParamKind

#[repr(u32)]
pub enum ParamKind {
    UInt,
    Bool,
    Double,
    Symbol,
    String,
    Other,
    Invalid,
}

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

impl Debug for ParamKind

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Copy for ParamKind

impl Clone for ParamKind

fn clone(&self) -> ParamKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq for ParamKind

fn eq(&self, __arg_0: &ParamKind) -> 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 !=.

impl Eq for ParamKind

impl Hash for ParamKind

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

Feeds this value into the given [Hasher].

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

Feeds a slice of this type into the given [Hasher].