Struct SolutionBuilder 

pub struct SolutionBuilder { /* private fields */ }

Builder for creating Solution with validation.

Example

use ommx::{Solution, Sense};
use std::collections::BTreeMap;

let solution = Solution::builder()
    .objective(0.0)
    .evaluated_constraints(BTreeMap::new())
    .decision_variables(BTreeMap::new())
    .sense(Sense::Minimize)
    .build()
    .unwrap();

Implementations

impl SolutionBuilder

pub fn new() -> Self

Creates a new SolutionBuilder with all fields unset.

pub fn objective(self, objective: f64) -> Self

Sets the objective value.

pub fn evaluated_constraints( self, evaluated_constraints: BTreeMap<ConstraintID, EvaluatedConstraint>, ) -> Self

Sets the evaluated constraints.

pub fn evaluated_constraints_collection( self, evaluated_constraints: EvaluatedCollection<Constraint>, ) -> Self

Sets the evaluated constraints from a collection.

pub fn evaluated_indicator_constraints_collection( self, evaluated_indicator_constraints: EvaluatedCollection<IndicatorConstraint>, ) -> Self

Sets the evaluated indicator constraints from a collection.

pub fn evaluated_indicator_constraints( self, evaluated_indicator_constraints: BTreeMap<IndicatorConstraintID, EvaluatedIndicatorConstraint>, ) -> Self

Sets the evaluated indicator constraints.

pub fn evaluated_one_hot_constraints_collection( self, evaluated_one_hot_constraints: EvaluatedCollection<OneHotConstraint>, ) -> Self

Sets the evaluated one-hot constraints from a collection.

pub fn evaluated_sos1_constraints_collection( self, evaluated_sos1_constraints: EvaluatedCollection<Sos1Constraint>, ) -> Self

Sets the evaluated SOS1 constraints from a collection.

pub fn evaluated_named_functions( self, evaluated_named_functions: BTreeMap<NamedFunctionID, EvaluatedNamedFunction>, ) -> Self

Sets the evaluated named functions.

pub fn decision_variables( self, decision_variables: BTreeMap<VariableID, EvaluatedDecisionVariable>, ) -> Self

Sets the decision variables.

pub fn variable_labels(self, variable_labels: VariableLabelStore) -> Self

Sets the per-variable modeling-label store.

pub fn named_function_labels( self, named_function_labels: NamedFunctionLabelStore, ) -> Self

Sets the per-named-function modeling-label store.

pub fn sense(self, sense: Sense) -> Self

Sets the optimization sense.

pub fn feasibility_atol(self, feasibility_atol: ATol) -> Self

Sets the absolute tolerance used to compute and validate feasibility fields.

pub fn optimality(self, optimality: Optimality) -> Self

Sets the optimality status.

pub fn relaxation(self, relaxation: Relaxation) -> Self

Sets the relaxation status.

pub fn build(self) -> Result<Solution>

Builds the Solution with full validation.

Errors

Returns an error if:

• Required fields (objective, evaluated_constraints, decision_variables, sense) are not set
• Constraint collection sidecars contain invalid keys
• Named-function labels reference IDs not present in the evaluated named-function table
• Variables referenced in constraints’ or named functions’ used_decision_variable_ids are not in decision_variables

pub unsafe fn build_unchecked(self) -> Result<Solution>

Builds the Solution without host-level revalidation.

Safety

This method still constructs table owners through their checked constructors, so table-level invariants such as label IDs referring to existing table rows are enforced. It does not revalidate host-level cross references. The caller must ensure:

• decision_variables is keyed by the intended VariableID for each row
• All used_decision_variable_ids in constraints and evaluated named functions exist in decision_variables
• Special-constraint indicator_active, active_variable, and per-constraint feasible fields are consistent with decision_variables under feasibility_atol

Use Self::build for validated construction. This method is useful when invariants are guaranteed by construction, such as when creating a Solution from Instance::evaluate.

Errors

Returns an error if required fields are not set or table-level sidecar invariants fail.

Trait Implementations

impl Clone for SolutionBuilder

fn clone(&self) -> SolutionBuilder

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SolutionBuilder

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

Formats the value using the given formatter.

impl Default for SolutionBuilder

fn default() -> SolutionBuilder

Returns the “default value” for a type.