Module types 

Common types used across the problemreductions library.

Structs

And

Conjunction aggregate for universal satisfaction.

Extremum

Max

Maximum aggregate over feasible values.

Min

Minimum aggregate over feasible values.

One

The constant 1. Unit weight for unweighted problems.

Or

Disjunction aggregate for existential satisfaction.

ProblemSize

Problem size metadata (varies by problem type).

Sum

Sum aggregate for value-only problems.

Enums

ExtremumSense

Traits

Aggregate

Foldable aggregate values for enumerating a problem’s configuration space.

NumericSize

Bound for objective value types (i32, f64, etc.)

OptimizationValue

Trait for aggregate values that represent optimization objectives.

WeightElement

Maps a weight element to its sum/metric type.

Type Aliases

Unweighted

Backward-compatible alias for One.