Struct Outcome 

pub struct Outcome {
    pub termination: String,
    pub claim: String,
    pub feasible: Option<bool>,
    pub objective: Option<f64>,
    pub x: Option<Vec<f64>>,
    pub details: Value,
    pub evidence: Option<Evidence>,
    pub objective_bounds: Option<ObjectiveBounds>,
    pub imprecise: bool,
}

Fields

termination: String

Why the task stopped, in the solver’s words (evaluation_limit, optimal, converged, cancelled, …). Never a claim.

claim: String

One of CLAIMS. A non_dominated_set describes a set of points in details and has no single x or objective.

feasible: Option<bool>

objective: Option<f64>

x: Option<Vec<f64>>

details: Value

evidence: Option<Evidence>

How the claim is supported. Workers of protocol 0.2 always report it; a record without it predates 0.2 and is only claimed.

objective_bounds: Option<ObjectiveBounds>

Best objective of a feasible point (primal) and a proven bound on the optimum (dual), in the model’s own sense.

imprecise: bool

The engine reported success only at relaxed accuracy. Qualifies the claim; never set together with none.

Implementations

impl Outcome

pub fn check(&self) -> Result<(), String>

Checks the rules of the result contract (the guide’s section Termination, claim and evidence). The runner applies them to every journal record.

Trait Implementations

impl Clone for Outcome

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 Outcome

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

Formats the value using the given formatter.

impl Default for Outcome

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Outcome

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Outcome

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for Outcome

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Outcome