Trait rsmt2::Sort2Smt

pub trait Sort2Smt {
    fn sort_to_smt2(&self, writer: &mut Write) -> Res<()>;
}

A sort printable in the SMT Lib 2 standard.

Required Methods

fn sort_to_smt2(&self, writer: &mut Write) -> Res<()>

Prints a sort to a writer info.

Implementors

• impl<'a> Sort2Smt for &'a str
• impl Sort2Smt for String