Struct PounceComplementarityStats 

#[repr(C)]
pub struct PounceComplementarityStats {

    pub struct_size: Index,
    pub strategy: [c_char; 16],
    pub reported: Index,
    pub accepted_by: [c_char; 32],
    pub fallback: [c_char; 32],
    pub n_solves: Index,
    pub total_iterations: Index,
    pub max_abs_product: Number,
    pub certificate_class: Index,
    pub n_pairs: Index,
    pub n_biactive: Index,
    pub n_neither: Index,
    pub multipliers_unique: Index,
    pub residual: Number,
    pub resid_tol: Number,
    pub tight: Index,
    pub feasible: Index,
    pub primal_violation: Number,
    pub b_verdict: Index,
    pub b_n_biactive: Index,
    pub b_branches_solved: Index,
    pub b_enumerated: Index,
    pub escapes: Index,
    pub lifted: Index,
    pub natural_residual: Number,
    pub polish_ran: Index,
    pub polish_taken: Index,
    pub polish_residual_before: Number,
    pub polish_residual_after: Number,
    pub polish_threshold: Number,
}

C mirror of the driver’s MpccOutcome for pounce.h’s PounceComplementarityStats. Field order is the ABI (Pounce.jl mirrors structs field for field); tests/c_examples_build_and_run.rs holds every offset to the C compiler’s. Sentinels instead of discriminants: NaN for a real that was not measured (or is not finite, as the report’s null), -1 for a count or flag whose record is absent.

Extensible (see ExtensibleOut in this crate): struct_size first, set by the caller to sizeof(PounceComplementarityStats); fields are only ever appended.

Fields

struct_size: Index

strategy: [c_char; 16]

reported: Index

accepted_by: [c_char; 32]

fallback: [c_char; 32]

n_solves: Index

total_iterations: Index

max_abs_product: Number

certificate_class: Index

n_pairs: Index

n_biactive: Index

n_neither: Index

multipliers_unique: Index

residual: Number

resid_tol: Number

tight: Index

feasible: Index

primal_violation: Number

b_verdict: Index

b_n_biactive: Index

b_branches_solved: Index

b_enumerated: Index

escapes: Index

lifted: Index

natural_residual: Number

polish_ran: Index

polish_taken: Index

polish_residual_before: Number

polish_residual_after: Number

polish_threshold: Number

Trait Implementations

impl Clone for PounceComplementarityStats

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for PounceComplementarityStats

impl Debug for PounceComplementarityStats

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

Formats the value using the given formatter.