Trait rsmt2::parse::ExprParser
[−]
[src]
pub trait ExprParser<Expr, Info, Input>: Copy { fn parse_expr(self, _: Input, _: Info) -> SmtRes<Expr>; }
Can parse expressions. Used for get_value
.
For more information refer to the module-level documentation.
Required Methods
fn parse_expr(self, _: Input, _: Info) -> SmtRes<Expr>
Implementors
impl<'a, Expr, Info, T> ExprParser<Expr, Info, &'a str> for T where
T: ExprParser<Expr, Info, &'a [u8]>,impl<'a, Expr, Info, T, Br> ExprParser<Expr, Info, &'a mut SmtParser<Br>> for T where
T: ExprParser<Expr, Info, &'a str>,
Br: BufRead,