Trait rsmt2::Expr2Smt

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.

Implementors

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