Enum z3::Symbol

pub enum Symbol {
    Int(u32),
    String(String),
}

Symbols are used to name several term and type constructors.

Variants

Int(u32)String(String)

Methods

impl Symbol

pub fn as_z3_symbol(&self, ctx: &Context) -> Z3_symbol

Trait Implementations

impl From<u32> for Symbol

fn from(val: u32) -> Self

Performs the conversion.

impl From<String> for Symbol

fn from(val: String) -> Self

Performs the conversion.

impl<'_> From<&'_ str> for Symbol

fn from(val: &str) -> Self

Performs the conversion.

impl PartialEq<Symbol> for Symbol

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl Clone for Symbol

fn clone(&self) -> Symbol

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Eq for Symbol

impl Debug for Symbol

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

Formats the value using the given formatter.