pub struct Config { /* private fields */ }
Expand description
Configuration used to initialize logical contexts.
Implementations
sourceimpl Config
impl Config
pub fn new() -> Config
pub fn set_param_value(&mut self, k: &str, v: &str)
pub fn set_bool_param_value(&mut self, k: &str, v: bool)
pub fn set_proof_generation(&mut self, b: bool)
pub fn set_model_generation(&mut self, b: bool)
pub fn set_debug_ref_count(&mut self, b: bool)
pub fn set_timeout_msec(&mut self, ms: u64)
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for Config
impl !Send for Config
impl !Sync for Config
impl Unpin for Config
impl UnwindSafe for Config
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more