Enum Result 

#[non_exhaustive]
pub enum Result {
    Error(String),
    Solution(Solution),
    Infeasible(Infeasible),
    Unbounded(Unbounded),
}

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Error(String)

Error information by the solver which cannot be expressed by other messages. This string should be human-readable.

Solution(Solution)

Some feasible or infeasible solution for the problem is found. Most of heuristic solvers should use this value.

Infeasible(Infeasible)

The solver proved that the problem is infeasible, i.e. all solutions of the problem are infeasible. If the solver cannot get the proof of infeasibility, and just cannot find any feasible solution due to the time limit or due to heuristic algorithm limitation, the solver should return its best Solution message with feasible field set to false.

Unbounded(Unbounded)

The solver proved that the problem is unbounded.

Implementations

impl Result

pub fn encode<B>(&self, buf: &mut B)

where B: BufMut,

Encodes the message to a buffer.

pub fn merge<B>( field: &mut Option<Result>, tag: u32, wire_type: WireType, buf: &mut B, ctx: DecodeContext, ) -> Result<(), DecodeError>

where B: Buf,

Decodes an instance of the message from a buffer, and merges it into self.

pub fn encoded_len(&self) -> usize

Returns the encoded length of the message without a length delimiter.

Trait Implementations

impl Clone for Result

fn clone(&self) -> Result

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Result

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

Formats the value using the given formatter.

impl PartialEq for Result

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for Result