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 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 Debug for ParamKind

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

Formats the value using the given formatter.

impl Hash for ParamKind

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<ParamKind> for ParamKind

fn eq(&self, other: &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 !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for ParamKind

impl Eq for ParamKind

impl StructuralEq for ParamKind

impl StructuralPartialEq for ParamKind