Struct TemplateIdentifier 

pub struct TemplateIdentifier { /* private fields */ }

Template identifier for analyzing proofs.

Implementations

impl TemplateIdentifier

pub fn new() -> Self

Create a new template identifier with default settings.

pub fn with_min_size(self, size: usize) -> Self

Set the minimum template size.

pub fn with_max_size(self, size: usize) -> Self

Set the maximum template size.

pub fn with_min_occurrences(self, occurrences: usize) -> Self

Set the minimum occurrences threshold.

pub fn identify_templates(&mut self, proofs: &[&Proof])

Identify templates from a collection of proofs.

pub fn get_templates(&self) -> &[ProofTemplate]

Get all identified templates.

pub fn get_templates_by_success_rate(&self) -> Vec<&ProofTemplate>

Get templates sorted by success rate.

pub fn find_template(&self, name: &str) -> Option<&ProofTemplate>

Find a template by name.

pub fn update_success_rate(&mut self, name: &str, success_rate: f64)

Update success rate for a template.

pub fn clear(&mut self)

Clear all templates.

Trait Implementations

impl Default for TemplateIdentifier

fn default() -> Self

Returns the “default value” for a type.