Expand description
Generic decision wrapper for optimization problems.
Structs§
- Decision
- Decision version of an optimization problem with a fixed objective bound.
- Decision
ToOptimization Result - Aggregate reduction result for
Decision<P> -> P. - Decision
ToOptimization Witness Result - Witness reduction result for
Decision<P> -> P.
Traits§
- Decision
Problem Meta - Metadata for concrete optimization problems that expose a decision wrapper.