Enum z3_sys::SymbolKind

#[repr(u32)]
pub enum SymbolKind {
    Int,
    String,
}

The different kinds of symbol. In Z3, a symbol can be represented using integers and strings. See Z3_get_symbol_kind.

This corresponds to Z3_symbol_kind in the C API.

See also:

• Z3_mk_int_symbol
• Z3_mk_string_symbol
• Z3_symbol

Variants

Int

An integer symbol.

This corresponds to Z3_INT_SYMBOL in the C API.

String

A string symbol.

This corresponds to Z3_STRING_SYMBOL in the C API.

Trait Implementations

impl Clone for SymbolKind

fn clone(&self) -> SymbolKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SymbolKind

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

Formats the value using the given formatter.

impl Hash for SymbolKind

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

fn eq(&self, other: &SymbolKind) -> 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 SymbolKind

impl Eq for SymbolKind

impl StructuralEq for SymbolKind

impl StructuralPartialEq for SymbolKind