Struct z3::Model [−] [src]

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

Methods

impl<'ctx> Model<'ctx>
[src]

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

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