Trait rsmt2::Expr2Smt

pub trait Expr2Smt<Info> {
    fn expr_to_smt2(&self, writer: &mut Write, &Info) -> IoResUnit;
}

An expression printable in the SMT Lib 2 standard given some info.

Required Methods

fn expr_to_smt2(&self, writer: &mut Write, &Info) -> IoResUnit

Prints an expression to a writer given some info.

Implementors

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