Trait rsmt2::print::Sort2Smt

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

A sort printable in the SMT Lib 2 standard.

Required methods

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

Prints a sort to a writer info.

Loading content...

Implementations on Foreign Types

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

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

impl Sort2Smt for str

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

impl Sort2Smt for String

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

Loading content...

Implementors

Loading content...