smt_lang::problem

Trait ToEntry

Source 
pub trait ToEntry {
    // Required method
    fn to_entry(&self, problem: &Problem) -> Entry;
}

Required Methods§

Source

fn to_entry(&self, problem: &Problem) -> Entry

Implementors§