Struct z3::Solver [−] [src]

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

Methods

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

fn new(ctx: &Context) -> Solver

fn assert(&self, ast: &Ast<'ctx>)

fn check(&self) -> bool