Enum hotdrink_rs::solver::Reason

pub enum Reason {
    PreConditionFailure(String),
    PostConditionFailure(String),
    MethodFailure(MethodFailure),
    Cancelled,
}

A description of what went wrong during solving.

Variants

PreConditionFailure(String)

A precondition did not hold before enforcing a constraint.

PostConditionFailure(String)

A postcondition did not hold after enforcing a constraint.

MethodFailure(MethodFailure)

A method failed to execute. See MethodFailure.

Cancelled

The computation was cancelled.

Trait Implementations

impl Clone for Reason

fn clone(&self) -> Reason

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Reason

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

Formats the value using the given formatter.

impl Display for Reason

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

Formats the value using the given formatter.

impl PartialEq<Reason> for Reason

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl StructuralPartialEq for Reason