Trait rsmt2::to_smt::Sort2Smt

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

A sort printable in the SMT Lib 2 standard.

Required Methods

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

Prints a sort to a writer info.

Implementations on Foreign Types

impl<'a> Sort2Smt for &'a str

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