Struct StalmarckSolver

pub struct StalmarckSolver { /* private fields */ }

Main solver class for Stålmarck’s method

Implementations

impl StalmarckSolver

pub fn new() -> Self

Create a new Stalmarck solver

pub fn solve_from_file(&mut self, filename: &str) -> Result<bool>

Solve from a file path

pub fn solve(&mut self, formula: &mut Formula) -> Result<bool>

Solve from a formula

pub fn is_tautology(&self) -> bool

Check if the formula is a tautology

pub fn set_timeout(&mut self, seconds: f64)

Set the timeout value in seconds

pub fn set_verbosity(&mut self, level: i32)

Set the verbosity level

pub fn set_dilemma_strategy(&mut self, strategy: Dilemma)

Set the dilemma strategy

pub fn set_simple_rule_strategy(&mut self, strategy: SimpleRuleStrategy)

Set the simple rule strategy

Trait Implementations

impl Debug for StalmarckSolver

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

Formats the value using the given formatter.

impl Default for StalmarckSolver

fn default() -> StalmarckSolver

Returns the “default value” for a type.