Struct z3::Params [−][src]
pub struct Params<'ctx> { /* fields omitted */ }
Expand description
Parameter set used to configure many components (simplifiers, tactics, solvers, etc).
Implementations
Trait Implementations
Auto Trait Implementations
impl<'ctx> RefUnwindSafe for Params<'ctx>
impl<'ctx> UnwindSafe for Params<'ctx>