Struct z3::Config

pub struct Config { /* fields omitted */ }

Configuration used to initialize logical contexts.

Methods

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

impl Debug for Config

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Default for Config

fn default() -> Self

Returns the "default value" for a type.

impl Drop for Config

fn drop(&mut self)

Executes the destructor for this type.