Struct AuxiliaryPreprocessingDiagnostics 

pub struct AuxiliaryPreprocessingDiagnostics {

    pub blocks_eliminated: Index,
    pub candidate_blocks: Index,
    pub vars_eliminated: Index,
    pub rows_eliminated: Index,
    pub total_time_ms: u128,
    pub stage_time_ms: StageTimings,
    pub class_counts: ClassCounts,
    pub max_block_residual: Number,
    pub max_accepted_block_dim: Index,
    pub rejection_reasons: Vec<AuxiliaryRejectionReason>,
    pub trivially_fixed_vars: Index,
    pub trivially_free_rows: Index,
    pub trivially_slack_rows: Index,
    pub inequality_coupled_accepted_via_projection: Index,
}

Per-run summary of what the auxiliary-equality preprocessing pass did. All counters are zeroed by Default::default.

Example

use pounce_presolve::diagnostics::AuxiliaryPreprocessingDiagnostics;

let d = AuxiliaryPreprocessingDiagnostics::default();
assert_eq!(d.blocks_eliminated, 0);
assert_eq!(d.candidate_blocks, 0);
assert!(d.rejection_reasons.is_empty());

Fields

blocks_eliminated: Index

Number of blocks the orchestrator successfully eliminated.

candidate_blocks: Index

Total candidate blocks examined (eliminated + rejected).

vars_eliminated: Index

Variables fixed by the eliminated blocks (sum of block dims).

rows_eliminated: Index

Equality rows dropped from the reduced problem.

total_time_ms: u128

Total wall time spent inside Phase 0, in milliseconds.

stage_time_ms: StageTimings

Per-stage wall-time breakdown.

class_counts: ClassCounts

Per-coupling-class candidate counts.

max_block_residual: Number

Largest block-solve residual accepted under presolve_auxiliary_tol. 0.0 when nothing was eliminated.

max_accepted_block_dim: Index

Dimension of the largest accepted block.

rejection_reasons: Vec<AuxiliaryRejectionReason>

One entry per rejected candidate, in encounter order.

trivially_fixed_vars: Index

PR 13: count of variables the trivial-elimination pre-pass identified as already fixed (x_l[i] == x_u[i]). Excluded from the incidence graph.

trivially_free_rows: Index

PR 13: count of rows the trivial pre-pass identified as “free” (g_l <= -big && g_u >= +big). Excluded.

trivially_slack_rows: Index

PR 13: count of linear inequality rows already implied by the variable box. Excluded from the inequality incidence so they don’t trip coupling classification.

inequality_coupled_accepted_via_projection: Index

PR 14: count of InequalityCoupled candidate blocks the orchestrator admitted because every coupled inequality turned out to be implied by the variable box after projecting the block’s linear equality system.

Trait Implementations

impl Clone for AuxiliaryPreprocessingDiagnostics

fn clone(&self) -> AuxiliaryPreprocessingDiagnostics

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AuxiliaryPreprocessingDiagnostics

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

Formats the value using the given formatter.

impl Default for AuxiliaryPreprocessingDiagnostics

fn default() -> AuxiliaryPreprocessingDiagnostics

Returns the “default value” for a type.

impl Display for AuxiliaryPreprocessingDiagnostics

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

Formats the value using the given formatter.