Struct Inference 

pub struct Inference {
    pub included: bool,
    pub item: ConflictItem,
}

An inference about whether a conflicting item is always included or excluded.

We collect these for each node in the graph after determining which extras/groups are activated for each node. Once we know what’s activated, we can infer what must also be inactivated based on what’s conflicting with it. So for example, if we have a conflict marker like extra == 'foo' and extra != 'bar', and foo and bar have been declared as conflicting, and we are in a part of the graph where we know foo must be activated, then it follows that extra != 'bar' must always be true. Because if it were false, it would imply both foo and bar were activated simultaneously, which uv guarantees won’t happen.

We then use these inferences to simplify the conflict markers.

Fields

included: bool

item: ConflictItem

Trait Implementations

impl Clone for Inference

fn clone(&self) -> Inference

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Inference

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

Formats the value using the given formatter.

impl Hash for Inference

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 Ord for Inference

fn cmp(&self, other: &Inference) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for Inference

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

fn partial_cmp(&self, other: &Inference) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Eq for Inference

impl StructuralPartialEq for Inference