Trait rsmt2::Sym2Smt

pub trait Sym2Smt<Info> {
    fn sym_to_smt2(&self, writer: &mut Write, _: &Info) -> Res<()>;
}

A symbol printable in the SMT Lib 2 standard given some info.

Required Methods

fn sym_to_smt2(&self, writer: &mut Write, _: &Info) -> Res<()>

Prints a symbol to a writer given some info.

Implementors

• impl<'a> Sym2Smt<()> for &'a str
• impl Sym2Smt<()> for String