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 parameter_declarations_fn: fn() -> ReductionParameterDeclarations,
    pub module_path: &'static str,
    pub reduce_fn: Option<ReduceFn>,
    pub reduce_aggregate_fn: Option<AggregateReduceFn>,
    pub turing: bool,
}

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().

parameter_declarations_fn: fn() -> ReductionParameterDeclarations

The rule’s single parameter relation, formulas, and unavailable target fields.

module_path: &'static str

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

reduce_fn: Option<ReduceFn>

Type-erased reduction executor. Takes a &dyn Any (must be &SourceType), calls ReduceTo::reduce_to(), and returns either a boxed DynReductionResult or the edge’s ReductionError.

reduce_aggregate_fn: Option<AggregateReduceFn>

Type-erased aggregate reduction executor. Takes a &dyn Any (must be &SourceType), calls ReduceToAggregate::reduce_to_aggregate(), and returns either a boxed DynAggregateReductionResult or the edge’s ReductionError.

turing: bool

Whether this is a Turing (multi-query) reduction.

Implementations

impl ReductionEntry

pub fn parameter_contract( &self, ) -> Result<ReductionParameterContract, ParameterContractError>

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 capabilities(&self) -> EdgeCapabilities

Return the modes backed by this entry’s executors.

pub fn is_base_reduction(&self) -> bool

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

Trait Implementations

impl Collect for ReductionEntry

impl Debug for ReductionEntry

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

Formats the value using the given formatter.