pub struct LocalizationConfig {
pub formula: SbflFormula,
pub top_n: usize,
pub include_explanations: bool,
pub min_confidence: f32,
}Expand description
Configuration for fault localization runs
Fields§
§formula: SbflFormula§top_n: usize§include_explanations: bool§min_confidence: f32Implementations§
Source§impl LocalizationConfig
impl LocalizationConfig
pub fn new() -> Self
pub fn with_formula(self, formula: SbflFormula) -> Self
pub fn with_top_n(self, n: usize) -> Self
pub fn with_explanations(self, include: bool) -> Self
pub fn with_min_confidence(self, threshold: f32) -> Self
Trait Implementations§
Source§impl Clone for LocalizationConfig
impl Clone for LocalizationConfig
Source§fn clone(&self) -> LocalizationConfig
fn clone(&self) -> LocalizationConfig
Returns a duplicate of the value. Read more
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for LocalizationConfig
impl Debug for LocalizationConfig
Auto Trait Implementations§
impl Freeze for LocalizationConfig
impl RefUnwindSafe for LocalizationConfig
impl Send for LocalizationConfig
impl Sync for LocalizationConfig
impl Unpin for LocalizationConfig
impl UnwindSafe for LocalizationConfig
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more