Struct SolutionPoint 

pub struct SolutionPoint {
    pub model_id: ModelId,
    pub primal: FxHashMap<VarId, f64>,
    pub objective: Option<f64>,
}

A single primal point returned by a solver.

Most solves yield one point, but a global solver asked to enumerate solutions may returns several. In a SolverResult the points live in SolverResult::solutions. Index 0 is always the best/incumbent.

Fields

model_id: ModelId

primal: FxHashMap<VarId, f64>

objective: Option<f64>

Implementations

impl SolutionPoint

pub const fn model_id(&self) -> ModelId

Model that produced this point.

pub fn value(&self, id: VarId) -> Option<f64>

Look up a primal value by raw VarId. Raw IDs carry no model provenance; prefer Self::value_of when an expression handle is available.

pub fn value_of( &self, expr: Expr<'_>, ) -> Result<Option<f64>, ModelMismatchError>

Evaluate an expression at this primal point.

Returns Ok(None) when any variable needed by the expression is absent and ModelMismatchError when the expression belongs to another model. Parameter values are read from the expression’s model arena at query time.

Errors

Returns ModelMismatchError if expr belongs to another model.

pub fn value_of_idx<V, K: Into<IndexKey>>( &self, var: &IndexedVar<'_, V>, key: K, ) -> Result<Option<f64>, ModelMismatchError>

Look up the primal value for a specific index of an IndexedVar.

Returns Ok(None) if key is not in the variable’s set or the solver did not return a primal value for that scalar. Returns ModelMismatchError when the indexed variable belongs to another model.

Errors

Returns ModelMismatchError if var belongs to another model.

pub fn values_of<'iv, 'a, V>( &'iv self, var: &'iv IndexedVar<'a, V>, ) -> Result<impl Iterator<Item = (&'iv IndexKey, f64)> + 'iv, ModelMismatchError>

Iterate over primal values for all entries of an IndexedVar.

Yields (&IndexKey, f64) for every index whose primal value is present in the solution.

Errors

Returns ModelMismatchError if var belongs to another model.

Trait Implementations

impl Clone for SolutionPoint

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SolutionPoint

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

Formats the value using the given formatter.

impl Default for SolutionPoint

fn default() -> Self

Returns the “default value” for a type.