Struct EtaPassConfig 

pub struct EtaPassConfig {
    pub do_expand: bool,
    pub do_reduce: bool,
    pub do_k_reduce: bool,
    pub do_proj_rewrite: bool,
    pub max_passes: u32,
    pub verbose: bool,
}

Configuration for an eta-normalization pass.

Fields

do_expand: bool

do_reduce: bool

do_k_reduce: bool

do_proj_rewrite: bool

max_passes: u32

verbose: bool

Implementations

impl EtaPassConfig

pub fn default_config() -> Self

Default configuration: all passes enabled, up to 10 iterations.

pub fn proj_only() -> Self

Minimal configuration: only projection rewriting.

pub fn any_enabled(&self) -> bool

Return true if at least one pass is enabled.

Trait Implementations

impl Clone for EtaPassConfig

fn clone(&self) -> EtaPassConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EtaPassConfig

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

Formats the value using the given formatter.