pub struct LaserLogicConfig {
pub detect_fallacies: bool,
pub check_validity: bool,
pub check_soundness: bool,
pub max_premise_depth: usize,
pub analyze_syllogisms: bool,
pub detect_contradictions: bool,
pub confidence_threshold: f64,
pub verbose_output: bool,
}Expand description
Configuration for LaserLogic analysis depth and features
Fields§
§detect_fallacies: boolEnable fallacy detection
check_validity: boolEnable validity checking (conclusion follows from premises)
check_soundness: boolEnable soundness checking (valid + true premises)
max_premise_depth: usizeMaximum number of premises to analyze
analyze_syllogisms: boolEnable syllogism detection and analysis
detect_contradictions: boolEnable contradiction detection
confidence_threshold: f64Minimum confidence threshold for conclusions
verbose_output: boolEnable verbose output with reasoning steps
Implementations§
Trait Implementations§
Source§impl Clone for LaserLogicConfig
impl Clone for LaserLogicConfig
Source§fn clone(&self) -> LaserLogicConfig
fn clone(&self) -> LaserLogicConfig
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 LaserLogicConfig
impl Debug for LaserLogicConfig
Source§impl Default for LaserLogicConfig
impl Default for LaserLogicConfig
Source§impl<'de> Deserialize<'de> for LaserLogicConfig
impl<'de> Deserialize<'de> for LaserLogicConfig
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Auto Trait Implementations§
impl Freeze for LaserLogicConfig
impl RefUnwindSafe for LaserLogicConfig
impl Send for LaserLogicConfig
impl Sync for LaserLogicConfig
impl Unpin for LaserLogicConfig
impl UnwindSafe for LaserLogicConfig
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