Struct ProofSimplifier 

pub struct ProofSimplifier { /* private fields */ }

Proof simplifier that applies logical rewrite rules.

Implementations

impl ProofSimplifier

pub fn new() -> Self

Create a new simplifier with default configuration.

pub fn with_config(config: SimplificationConfig) -> Self

Create a simplifier with custom configuration.

pub fn simplify(&self, proof: &mut Proof) -> SimplificationStats

Simplify a proof in-place, returning statistics.

Trait Implementations

impl Default for ProofSimplifier

fn default() -> Self

Returns the “default value” for a type.