Trait rsmt2::parse::ValueParser

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

Can parse values. Used for Solver::get_values.

For more information refer to the module-level documentation.

Required methods

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

Parses a plain value.

Implementations on Foreign Types

impl<'a, Br> ValueParser<&'a str, &'a mut SmtParser<Br>> for () where
    Br: BufRead, 

fn parse_value(self, input: &'a mut SmtParser<Br>) -> SmtRes<&'a str>

impl<'a, Br> ValueParser<String, &'a mut SmtParser<Br>> for () where
    Br: BufRead, 

fn parse_value(self, input: &'a mut SmtParser<Br>) -> SmtRes<String>

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,