Trait rsmt2::to_smt::Expr2Smt

pub trait Expr2Smt<Info> {
    fn expr_to_smt2<Writer>(&self, _: &mut Writer, _: &Info) -> SmtRes<()>
    where
        Writer: Write;
}

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

Required Methods

fn expr_to_smt2<Writer>(&self, _: &mut Writer, _: &Info) -> SmtRes<()> where
    Writer: Write, 

Prints an expression to a writer given some info.

Implementations on Foreign Types

impl<'a, T> Expr2Smt<T> for &'a str

fn expr_to_smt2<Writer>(&self, writer: &mut Writer, _: &T) -> SmtRes<()> where
    Writer: Write, 

impl<T> Expr2Smt<T> for str

fn expr_to_smt2<Writer>(&self, writer: &mut Writer, _: &T) -> SmtRes<()> where
    Writer: Write, 

impl<T> Expr2Smt<T> for String

fn expr_to_smt2<Writer>(&self, writer: &mut Writer, _: &T) -> SmtRes<()> where
    Writer: Write, 

Implementors