Trait rsmt2::parse::ExprParser [−][src]
pub trait ExprParser<Expr, Info, Input>: Copy {
fn parse_expr(self, i: Input, info: Info) -> SmtRes<Expr>;
}
Expand description
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>
fn parse_expr(self, i: Input, info: Info) -> SmtRes<Expr>
Parses an expression given some info.