Struct ParallelProcessor 

pub struct ParallelProcessor { /* private fields */ }

Parallel proof processor.

Implementations

impl ParallelProcessor

pub fn new() -> Self

Create a new parallel processor with default configuration.

pub fn with_config(config: ParallelConfig) -> Self

Create with custom configuration.

pub fn check_proof_parallel(&self, proof: &Proof) -> ParallelCheckResult<()>

Check a proof in parallel.

This validates each proof node in parallel, checking that all inferences are valid according to the proof rules.

pub fn validate_dependencies_parallel( &self, proof: &Proof, ) -> ParallelCheckResult<()>

Validate proof node dependencies in parallel.

pub fn find_nodes_parallel<F>( &self, proof: &Proof, predicate: F, ) -> Vec<ProofNodeId>

where F: Fn(&ProofNode) -> bool + Send + Sync,

Find all nodes satisfying a predicate in parallel.

Trait Implementations

impl Default for ParallelProcessor

fn default() -> Self

Returns the “default value” for a type.