Trait rsmt2::parse::ExprParser

pub trait ExprParser<Expr, Info, Input>: Copy {
    fn parse_expr(self, i: Input, info: Info) -> SmtRes<Expr>;
}

Can parse expressions. Used for Solver::get_values.

For more information refer to the module-level documentation.

Required Methods

fn parse_expr(self, i: Input, info: Info) -> SmtRes<Expr>

Parses an expression given some info.

Implementations on Foreign Types

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

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

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

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

Implementors

impl<'a, Expr, Info, T> ExprParser<Expr, Info, &'a str> for Twhere
    T: ExprParser<Expr, Info, &'a [u8]>,

impl<'a, Expr, Info, T, Br> ExprParser<Expr, Info, &'a mut SmtParser<Br>> for Twhere
    T: ExprParser<Expr, Info, &'a str>,
    Br: BufRead,