Enum z3_sys::SymbolKind
source · #[repr(u32)]
pub enum SymbolKind {
Int,
String,
}
Expand description
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:
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§
source§impl Clone for SymbolKind
impl Clone for SymbolKind
source§fn clone(&self) -> SymbolKind
fn clone(&self) -> SymbolKind
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read more