Enum ParamKind

#[repr(u32)]
pub enum ParamKind {
    UInt = 0,
    Bool = 1,
    Double = 2,
    Symbol = 3,
    String = 4,
    Other = 5,
    Invalid = 6,
}

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 = 0

integer parameters.

This corresponds to Z3_PK_UINT in the C API.

Bool = 1

boolean parameters.

This corresponds to Z3_PK_BOOL in the C API.

Double = 2

double parameters.

This corresponds to Z3_PK_DOUBLE in the C API.

Symbol = 3

symbol parameters.

This corresponds to Z3_PK_SYMBOL in the C API.

String = 4

string parameters.

This corresponds to Z3_PK_STRING in the C API.

Other = 5

all internal parameter kinds which are not exposed in the API.

This corresponds to Z3_PK_OTHER in the C API.

Invalid = 6

invalid parameter.

This corresponds to Z3_PK_INVALID in the C API.

Trait Implementations

impl Clone for ParamKind

fn clone(&self) -> ParamKind

Returns a duplicate 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 for ParamKind

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

Tests for self and other values to be equal, and is used by ==.

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

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