Expand description
Common types used across the problemreductions library.
Structs§
- And
- Conjunction aggregate for universal satisfaction.
- Exact
I64To F64Error - An
i64cannot cross an exact-integerf64boundary without precision loss. - 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.
- Problem
Parameters - Canonical named parameters for one concrete problem instance.
- Sum
- Additive fold value.
Enums§
- Aggregation
Error - Failure while combining configuration values during a solve.
- Extremum
Sense - Numeric
Arithmetic Error - Failure while performing checked arithmetic on a numeric value.
Constants§
- MAX_
EXACT_ F64_ INTEGER - Largest integer magnitude represented exactly by an IEEE 754
f64.
Traits§
- Aggregate
- Foldable aggregate values for enumerating a problem’s configuration space.
- Numeric
Size - Bound for objective value types (i64, f64, etc.)
- Optimization
Value - Trait for aggregate values that represent optimization objectives.
- Solution
Aggregate - Aggregate value whose optimum identifies contributing solutions.
- Weight
Element - Maps a weight element to its sum/metric type.
Functions§
- i64_
to_ exact_ f64 - Convert an
i64tof64only when the integer value remains exact.