Struct seer_z3::Symbol [−][src]
pub struct Symbol<'ctx> { /* fields omitted */ }Methods
impl<'ctx> Symbol<'ctx>[src]
impl<'ctx> Symbol<'ctx>pub fn from_int(ctx: &Context, i: u32) -> Symbol[src]
pub fn from_int(ctx: &Context, i: u32) -> Symbolpub fn from_string(ctx: &'ctx Context, s: &str) -> Symbol<'ctx>[src]
pub fn from_string(ctx: &'ctx Context, s: &str) -> Symbol<'ctx>