Struct SolutionPoint 

pub struct SolutionPoint {
    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

primal: FxHashMap<VarId, f64>

objective: Option<f64>

Implementations

impl SolutionPoint

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

Look up a primal value by VarId.

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

Look up the primal value for an Expr that points at a Var node. Returns None for any expression that is not a single variable, so callers that need the value of a derived expression should evaluate it against the primal solution explicitly.

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

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

Returns None if key is not in the variable’s set or the solver did not return a primal value for that scalar.

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

Iterate over primal values for all entries of an IndexedVar.

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

Trait Implementations

impl Clone for SolutionPoint

fn clone(&self) -> SolutionPoint

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() -> SolutionPoint

Returns the “default value” for a type.