Struct StrategyLearner 

pub struct StrategyLearner { /* private fields */ }

Strategy learner for extracting heuristics from proofs.

Implementations

impl StrategyLearner

pub fn new() -> Self

Create a new strategy learner with default settings.

pub fn with_min_support(self, support: usize) -> Self

Set the minimum support count.

pub fn with_min_confidence(self, confidence: f64) -> Self

Set the minimum confidence threshold.

pub fn learn_from_proofs( &mut self, proofs: &[&Proof], _proof_stats: &[(f64, f64)], )

Learn heuristics from a collection of successful proofs.

pub fn get_heuristics(&self) -> &[ProofHeuristic]

Get all learned heuristics.

pub fn get_heuristics_by_type(&self, type_name: &str) -> Vec<&ProofHeuristic>

Get heuristics of a specific type.

pub fn get_top_heuristics(&self, n: usize) -> Vec<&ProofHeuristic>

Get top N heuristics by confidence.

pub fn clear(&mut self)

Clear all learned heuristics.

Trait Implementations

impl Default for StrategyLearner

fn default() -> Self

Returns the “default value” for a type.