Struct PatternExtractor 

pub struct PatternExtractor { /* private fields */ }

Pattern extractor for analyzing proofs.

Implementations

impl PatternExtractor

pub fn new() -> Self

Create a new pattern extractor with default settings.

pub fn with_min_frequency(self, freq: usize) -> Self

Set the minimum frequency threshold.

pub fn with_max_depth(self, depth: usize) -> Self

Set the maximum pattern depth.

pub fn extract_patterns(&mut self, proof: &Proof)

Extract patterns from a proof.

pub fn get_patterns(&self) -> Vec<&LemmaPattern>

Get all extracted patterns that meet the minimum frequency threshold.

pub fn get_patterns_by_frequency(&self) -> Vec<&LemmaPattern>

Get patterns sorted by frequency (most common first).

pub fn get_patterns_for_rule(&self, rule: &str) -> Vec<&LemmaPattern>

Get patterns for a specific rule.

pub fn clear(&mut self)

Clear all extracted patterns.

Trait Implementations

impl Default for PatternExtractor

fn default() -> Self

Returns the “default value” for a type.