Trait rsmt2::Sym2Smt
[−]
[src]
pub trait Sym2Smt<Info> { fn sym_to_smt2(&self, writer: &mut Write, &Info) -> IoResUnit; }
A symbol printable in the SMT Lib 2 standard given some info.
Required Methods
fn sym_to_smt2(&self, writer: &mut Write, &Info) -> IoResUnit
Prints a symbol to a writer given some info.