Struct AmfStats 

pub struct AmfStats {
    pub ncmpa: u32,
    pub n_clear_flag: u32,
    pub n_mass_elim: u32,
    pub n_supervar_merge: u32,
    pub n_dense_deferred: u32,
    pub ndiv: u64,
    pub nms_lu: u64,
    pub nms_ldl: u64,
}

Diagnostic counters collected during AMF ordering.

Mirrors [feral_amd::AmdStats] field-by-field; the AMF inner loop populates the same OrderDiagnostics surface from the shared feral-ordering-core workspace.

Fields

ncmpa: u32

Number of garbage-collection compactions fired.

n_clear_flag: u32

Number of mark-array generation-counter resets.

Currently always 0: not wired to a backing counter. The reset it would count (clear_flag) only fires when the generation counter wflg reaches wbig = i32::MAX - n, which during elimination requires n on the order of tens of thousands, so the true count is 0 on every practically testable input.

n_mass_elim: u32

Number of variables absorbed by mass elimination.

n_supervar_merge: u32

Number of supervariable merges detected.

n_dense_deferred: u32

Number of variables placed into the dense-deferred bucket at initialization.

ndiv: u64

Flop counter: divisions.

nms_lu: u64

Flop counter: LU multiply-subtracts.

nms_ldl: u64

Flop counter: LDLᵀ multiply-subtracts.

Trait Implementations

impl Clone for AmfStats

fn clone(&self) -> AmfStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AmfStats

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

Formats the value using the given formatter.

impl Default for AmfStats

fn default() -> AmfStats

Returns the “default value” for a type.

impl PartialEq for AmfStats

fn eq(&self, other: &AmfStats) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for AmfStats

impl StructuralPartialEq for AmfStats