Struct seer_z3::Optimize

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

Methods

impl<'ctx> Optimize<'ctx>

pub fn new(ctx: &'ctx Context) -> Optimize<'ctx>

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

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

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

pub fn check(&self) -> bool

pub fn get_model(&self) -> Model<'ctx>

Trait Implementations

impl<'ctx> Drop for Optimize<'ctx>

fn drop(&mut self)

Executes the destructor for this type.