Struct ParallelStatsComputer 

pub struct ParallelStatsComputer { /* private fields */ }

Parallel proof statistics computation.

Implementations

impl ParallelStatsComputer

pub fn new() -> Self

Create a new parallel statistics computer.

pub fn with_config(config: ParallelConfig) -> Self

Create with custom configuration.

pub fn compute_rule_frequency(&self, proof: &Proof) -> FxHashMap<String, usize>

Compute rule frequency in parallel.

pub fn find_unique_conclusions(&self, proof: &Proof) -> FxHashSet<String>

Find all unique conclusions in parallel.

pub fn compute_depth_histogram(&self, proof: &Proof) -> FxHashMap<usize, usize>

Compute depth histogram in parallel.

Trait Implementations

impl Default for ParallelStatsComputer

fn default() -> Self

Returns the “default value” for a type.