Trait rsmt2::print::Sort2Smt

pub trait Sort2Smt {
    fn sort_to_smt2<Writer>(&self, w: &mut Writer) -> SmtRes<()>
   where
        Writer: Write;
}

A sort printable in the SMT-LIB 2 standard.

Required Methods

fn sort_to_smt2<Writer>(&self, w: &mut Writer) -> SmtRes<()>where
    Writer: Write,

Prints a sort to a writer info.

Implementations on Foreign Types

impl<'a, T> Sort2Smt for &'a Twhere
    T: Sort2Smt + ?Sized,

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

impl Sort2Smt for str

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

impl Sort2Smt for String

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

Implementors