Trait rsmt2::Sym2Smt
[−]
[src]
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.