Enum SolutionSize 

pub enum SolutionSize<T> {
    Valid(T),
    Invalid,
}

Result of evaluating a constrained optimization problem.

For optimization problems with constraints (like MaximumIndependentSet), configurations may be infeasible. This enum explicitly represents validity.

Example

use problemreductions::types::SolutionSize;

let valid = SolutionSize::Valid(42);
assert!(valid.is_valid());
assert_eq!(valid.size(), Some(&42));

let invalid: SolutionSize<i32> = SolutionSize::Invalid;
assert!(!invalid.is_valid());

Variants

Valid(T)

A valid (feasible) solution with the given objective value.

Invalid

An invalid (infeasible) solution that violates constraints.

Implementations

impl<T> SolutionSize<T>

pub fn is_valid(&self) -> bool

Returns true if this is a valid solution.

pub fn size(&self) -> Option<&T>

Returns the size if valid, None if invalid.

pub fn unwrap(self) -> T

Unwraps the size, panicking if invalid.

pub fn map<U, F: FnOnce(T) -> U>(self, f: F) -> SolutionSize<U>

Maps the inner value if valid.

impl<T: PartialOrd> SolutionSize<T>

pub fn is_better(&self, other: &Self, direction: Direction) -> bool

Returns true if self is a better solution than other for the given direction.

• For maximization: larger values are better
• For minimization: smaller values are better
• Valid solutions are always better than invalid ones
• Two invalid solutions are equally bad (neither is better)

Panics

Panics if comparing two valid values that are not comparable (e.g., NaN for f64).

Trait Implementations

impl<T: Clone> Clone for SolutionSize<T>

fn clone(&self) -> SolutionSize<T>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for SolutionSize<T>

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

Formats the value using the given formatter.

impl<T> Default for SolutionSize<T>

fn default() -> SolutionSize<T>

Returns the “default value” for a type.

impl<'de, T> Deserialize<'de> for SolutionSize<T>

where T: Deserialize<'de>,

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<T: Hash> Hash for SolutionSize<T>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<T: PartialEq> PartialEq for SolutionSize<T>

fn eq(&self, other: &SolutionSize<T>) -> 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<T> Serialize for SolutionSize<T>

where T: Serialize,

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<T: Copy> Copy for SolutionSize<T>

impl<T: Eq> Eq for SolutionSize<T>

impl<T> StructuralPartialEq for SolutionSize<T>