Trait rsmt2::parse::ValueParser

pub trait ValueParser<Value, Input>: Copy {
    fn parse_value(self, _: Input) -> SmtRes<Value>;
}

Can parse values. Used for get-model and get-value.

For more information refer to the module-level documentation.

Required Methods

fn parse_value(self, _: Input) -> SmtRes<Value>

Implementors

• impl<'a, Value, T> ValueParser<Value, &'a str> for T where
    T: ValueParser<Value, &'a [u8]>, 
• impl<'a, Value, T, Br> ValueParser<Value, &'a mut SmtParser<Br>> for T where
    T: ValueParser<Value, &'a str>,
    Br: BufRead, 
• impl<'a> ValueParser<Cst, &'a str> for rsmt2::example::simple::Parser
• impl<'a, Br> ValueParser<Const, &'a mut SmtParser<Br>> for rsmt2::example::Parser where
    Br: BufRead,