Struct seer_z3::Config [−][src]
pub struct Config { /* fields omitted */ }Methods
impl Config[src]
impl Configpub fn new() -> Config[src]
pub fn new() -> Configpub fn set_param_value(&mut self, k: &str, v: &str)[src]
pub fn set_param_value(&mut self, k: &str, v: &str)pub fn set_bool_param_value(&mut self, k: &str, v: bool)[src]
pub fn set_bool_param_value(&mut self, k: &str, v: bool)pub fn set_proof_generation(&mut self, b: bool)[src]
pub fn set_proof_generation(&mut self, b: bool)pub fn set_model_generation(&mut self, b: bool)[src]
pub fn set_model_generation(&mut self, b: bool)pub fn set_debug_ref_count(&mut self, b: bool)[src]
pub fn set_debug_ref_count(&mut self, b: bool)pub fn set_timeout_msec(&mut self, ms: u64)[src]
pub fn set_timeout_msec(&mut self, ms: u64)