Struct z3::Config
[−]
[src]
pub struct Config { /* fields omitted */ }
pub struct Config { /* fields omitted */ }
impl Config
[src]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)
impl Drop for Config
[src]