Trait rsmt2::QueryExprInfo
[−]
[src]
pub trait QueryExprInfo<'kid, Parser: ParseSmt2 + 'static, Expr: Expr2Smt<Parser::I>>: Solver<'kid, Parser> + QueryExpr<'kid, Parser, Parser::I, Expr> { fn get_values(&mut self,
exprs: &[Expr],
info: &Parser::I)
-> Res<Vec<(Parser::Expr, Parser::Value)>> { ... } }
Queries with expr printing and related print/parse information.
Provided Methods
fn get_values(&mut self,
exprs: &[Expr],
info: &Parser::I)
-> Res<Vec<(Parser::Expr, Parser::Value)>>
exprs: &[Expr],
info: &Parser::I)
-> Res<Vec<(Parser::Expr, Parser::Value)>>
Get-values command.