Struct LaserLogic 

pub struct LaserLogic { /* private fields */ }

LaserLogic reasoning module for precision deductive analysis.

Provides formal logical analysis including:

• Argument structure validation
• Fallacy detection
• Validity and soundness checking
• Syllogism analysis

Implementations

impl LaserLogic

pub fn new() -> Self

Create a new LaserLogic module with default configuration.

pub fn with_config(analysis_config: LaserLogicConfig) -> Self

Create with custom configuration

pub fn analysis_config(&self) -> &LaserLogicConfig

Get the analysis configuration

pub fn analyze_argument( &self, premises: &[&str], conclusion: &str, ) -> Result<LaserLogicResult>

Analyze an argument given premises and conclusion

pub fn analyze(&self, argument: Argument) -> Result<LaserLogicResult>

Analyze a structured argument

Trait Implementations

impl Default for LaserLogic

fn default() -> Self

Returns the “default value” for a type.

impl ThinkToolModule for LaserLogic

fn config(&self) -> &ThinkToolModuleConfig

Get the module configuration

fn execute(&self, context: &ThinkToolContext) -> Result<ThinkToolOutput>

Execute the module synchronously

fn name(&self) -> &str

Get the module name (convenience method)

fn version(&self) -> &str

Get the module version (convenience method)

fn description(&self) -> &str

Get the module description (convenience method)

fn confidence_weight(&self) -> f64

Get the confidence weight for this module