Module rules 

Reduction rules between NP-hard problems.

Re-exports

pub use registry::EdgeCapabilities;

pub use registry::ParameterContractError;

pub use registry::ReductionEntry;

pub use registry::ReductionParameterContract;

pub use registry::ReductionParameterDeclarations;

pub use registry::UnavailableParameterField;

Modules

analysis

Topology analysis utilities for the reduction graph.

registry

Automatic reduction registration via inventory.

unitdiskmapping

Graph to grid graph mapping.

Structs

AggregateReductionChain

A composed aggregate reduction chain produced by ReductionGraph::reduce_aggregate_along_path.

ExecutedPath

A concrete reduction path whose reductions have already been executed.

NeighborInfo

Information about a neighbor in the reduction graph.

NeighborTree

A tree node for neighbor traversal results.

ReductionChain

A composed reduction chain produced by ReductionGraph::reduce_along_path.

ReductionEdgeInfo

A source/target pair from the reduction graph, returned by ReductionGraph::outgoing_reductions and ReductionGraph::incoming_reductions.

ReductionGraph

Runtime graph of all registered reductions.

ReductionPath

A path through the variant-level reduction graph.

ReductionStep

A node in a variant-level reduction path.

VariantReductionResult

Reduction result for an explicit conversion between variants of one model.

Enums

ExecutePathsError

A selected concrete path batch could not be executed.

ExtractionError

Failure to map a target witness back into the source configuration space.

PathParameterError

Why symbolic parameter propagation could not be completed for a path.

ReductionError

Failure to construct a target instance for a registered reduction edge.

ReductionMode

Required capability for reduction path search.

TraversalFlow

Traversal mode for graph exploration.

Traits

AggregateReductionResult

Result of reducing a source problem to a target problem for aggregate values.

ReduceTo

Trait for problems that can be reduced to target type T.

ReduceToAggregate

Trait for problems that can be reduced to target type T for aggregate-value workflows.

ReductionResult

Result of reducing a source problem to a target problem.

Type Aliases

ExtractionResult