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>

Evaluate an expression at this primal point.

Returns None when any variable needed by the expression is absent. Parameter values are read from the expression’s model arena at query time.

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.