Trait Sort2Smt 

pub trait Sort2Smt {
    // Required method
    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.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

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,

impl<'a, T> Sort2Smt for &'a T

where T: Sort2Smt + ?Sized,

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

where Writer: Write,

Implementors