Struct DominanceCmpResult

pub struct DominanceCmpResult {
    pub ordering: Ordering,
    pub only_val_diff: bool,
}

Helper struct that encapsulates the result of a dominance comparison

Fields

ordering: Ordering

The ordering of two states with respect to their dominance relation

only_val_diff: bool

Whether the only difference between the two states is their value

Trait Implementations

impl Debug for DominanceCmpResult

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

Formats the value using the given formatter.

impl PartialEq for DominanceCmpResult

fn eq(&self, other: &DominanceCmpResult) -> 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 Eq for DominanceCmpResult

impl StructuralPartialEq for DominanceCmpResult