Struct z3::Config

pub struct Config { /* fields omitted */ }

Methods

impl Config

fn new() -> Config

fn set_param_value(&mut self, k: &str, v: &str)

fn set_bool_param_value(&mut self, k: &str, v: bool)

fn set_proof_generation(&mut self, b: bool)

fn set_model_generation(&mut self, b: bool)

fn set_debug_ref_count(&mut self, b: bool)

fn set_timeout_msec(&mut self, ms: u64)

Trait Implementations

impl Drop for Config

fn drop(&mut self)

A method called when the value goes out of scope.