Trait sspds::smt::exprs::SmtFmt

pub trait SmtFmt {
    fn write_smt_to<T: Write>(&self, write: &mut T) -> Result<()>;

    fn to_string(&self) -> String { ... }
}

Required methods

fn write_smt_to<T: Write>(&self, write: &mut T) -> Result<()>

Loading content...

Provided methods

fn to_string(&self) -> String

Loading content...

Implementors

impl SmtFmt for SmtExpr

fn write_smt_to<T: Write>(&self, write: &mut T) -> Result<()>

Loading content...