Trait rsmt2::Expr2Smt
[−]
[src]
pub trait Expr2Smt<Info> { fn expr_to_smt2(&self, writer: &mut Write, _: &Info) -> Res<()>; }
An expression printable in the SMT Lib 2 standard given some info.
Required Methods
fn expr_to_smt2(&self, writer: &mut Write, _: &Info) -> Res<()>
Prints an expression to a writer given some info.