Struct seer_z3::Model

pub struct Model<'ctx> { /* fields omitted */ }

Methods

impl<'ctx> Model<'ctx>

pub fn of_solver(slv: &Solver<'ctx>) -> Model<'ctx>

pub fn of_optimize(opt: &Optimize<'ctx>) -> Model<'ctx>

pub fn eval(&self, ast: &Ast<'ctx>) -> Option<Ast<'ctx>>

Trait Implementations

impl<'ctx> Drop for Model<'ctx>

fn drop(&mut self)

Executes the destructor for this type.