Struct MinimizeConfig 

pub struct MinimizeConfig {
    pub max_passes: usize,
    pub enable_dedup: bool,
}

Configuration for ProofMinimizer.

Fields

max_passes: usize

Maximum number of minimization passes (dedup + trim loop). Defaults to 4.

enable_dedup: bool

Whether to perform hash-cons deduplication. When false, only structural cone reduction is applied. Defaults to true.

Implementations

impl MinimizeConfig

pub fn new() -> Self

Create a new configuration with all options at their defaults.

pub fn without_dedup(self) -> Self

Disable hash-cons deduplication (only cone reduction runs).

pub fn with_max_passes(self, passes: usize) -> Self

Set the maximum number of passes.

Trait Implementations

impl Clone for MinimizeConfig

fn clone(&self) -> MinimizeConfig

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for MinimizeConfig

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for MinimizeConfig

fn default() -> Self

Returns the “default value” for a type.