Struct seer_z3::Model
[−]
[src]
pub struct Model<'ctx> { /* fields omitted */ }
pub struct Model<'ctx> { /* fields omitted */ }
impl<'ctx> Model<'ctx>
[src]fn of_solver(slv: &Solver<'ctx>) -> Model<'ctx>
fn of_optimize(opt: &Optimize<'ctx>) -> Model<'ctx>
fn eval(&self, ast: &Ast<'ctx>) -> Option<Ast<'ctx>>
impl<'ctx> Drop for Model<'ctx>
[src]