Struct ReductionEntry 

pub struct ReductionEntry {
    pub source_name: &'static str,
    pub target_name: &'static str,
    pub source_variant_fn: fn() -> Vec<(&'static str, &'static str)>,
    pub target_variant_fn: fn() -> Vec<(&'static str, &'static str)>,
    pub overhead_fn: fn() -> ReductionOverhead,
    pub module_path: &'static str,
    pub reduce_fn: fn(&dyn Any) -> Box<dyn DynReductionResult>,
    pub overhead_eval_fn: fn(&dyn Any) -> ProblemSize,
}

A registered reduction entry for static inventory registration. Uses function pointers to lazily derive variant fields from Problem::variant().

Fields

source_name: &'static str

Base name of source problem (e.g., “MaximumIndependentSet”).

target_name: &'static str

Base name of target problem (e.g., “MinimumVertexCover”).

source_variant_fn: fn() -> Vec<(&'static str, &'static str)>

Function to derive source variant attributes from Problem::variant().

target_variant_fn: fn() -> Vec<(&'static str, &'static str)>

Function to derive target variant attributes from Problem::variant().

overhead_fn: fn() -> ReductionOverhead

Function to create overhead information (lazy evaluation for static context).

module_path: &'static str

Module path where the reduction is defined (from module_path!()).

reduce_fn: fn(&dyn Any) -> Box<dyn DynReductionResult>

Type-erased reduction executor. Takes a &dyn Any (must be &SourceType), calls ReduceTo::reduce_to(), and returns the result as a boxed DynReductionResult.

overhead_eval_fn: fn(&dyn Any) -> ProblemSize

Compiled overhead evaluation function. Takes a &dyn Any (must be &SourceType), calls getter methods directly, and returns the computed target problem size.

Implementations

impl ReductionEntry

pub fn overhead(&self) -> ReductionOverhead

Get the overhead by calling the function.

pub fn source_variant(&self) -> Vec<(&'static str, &'static str)>

Get the source variant by calling the function.

pub fn target_variant(&self) -> Vec<(&'static str, &'static str)>

Get the target variant by calling the function.

pub fn is_base_reduction(&self) -> bool

Check if this reduction involves only the base (unweighted) variants.

Trait Implementations

impl Debug for ReductionEntry

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

Formats the value using the given formatter.

impl Collect for ReductionEntry