Struct rustc_data_structures::transitive_relation::TransitiveRelation [] [src]

pub struct TransitiveRelation<T: Clone + Debug + Eq + Hash + Clone> { /* fields omitted */ }
🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Methods

impl<T: Clone + Debug + Eq + Hash + Clone> TransitiveRelation<T>
[src]

[src]

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

[src]

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

[src]

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Applies the (partial) function to each edge and returns a new relation. If f returns None for any end-point, returns None.

[src]

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Indicate that a < b (where < is this relation)

[src]

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Check whether a < target (transitively)

[src]

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Returns a vector of all things less than a.

Really this probably ought to be impl Iterator<Item=&T>, but I'm too lazy to make that work, and -- given the caching strategy -- it'd be a touch tricky anyhow.

[src]

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Picks what I am referring to as the "postdominating" upper-bound for a and b. This is usually the least upper bound, but in cases where there is no single least upper bound, it is the "mutual immediate postdominator", if you imagine a graph where a < b means a -> b.

This function is needed because region inference currently requires that we produce a single "UB", and there is no best choice for the LUB. Rather than pick arbitrarily, I pick a less good, but predictable choice. This should help ensure that region inference yields predictable results (though it itself is not fully sufficient).

Examples are probably clearer than any prose I could write (there are corresponding tests below, btw). In each case, the query is postdom_upper_bound(a, b):

// returns Some(x), which is also LUB
a -> a1 -> x
           ^
           |
b -> b1 ---+

// returns Some(x), which is not LUB (there is none)
// diagonal edges run left-to-right
a -> a1 -> x
  \/       ^
  /\       |
b -> b1 ---+

// returns None
a -> a1
b -> b1

[src]

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Returns the set of bounds X such that:

  • a < X and b < X
  • there is no Y != X such that a < Y and Y < X
    • except for the case where X < a (i.e., a strongly connected component in the graph). In that case, the smallest representative of the SCC is returned (as determined by the internal indices).

Note that this set can, in principle, have any size.

Trait Implementations

impl<T: Clone + Clone + Debug + Eq + Hash + Clone> Clone for TransitiveRelation<T>
[src]

[src]

Returns a copy of the value. Read more

1.0.0
[src]

Performs copy-assignment from source. Read more

impl<T: Debug + Clone + Debug + Eq + Hash + Clone> Debug for TransitiveRelation<T>
[src]

[src]

Formats the value using the given formatter.

impl<T> Encodable for TransitiveRelation<T> where
    T: Clone + Encodable + Debug + Eq + Hash + Clone
[src]

[src]

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

impl<T> Decodable for TransitiveRelation<T> where
    T: Clone + Decodable + Debug + Eq + Hash + Clone
[src]

[src]

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

impl<CTX, T> HashStable<CTX> for TransitiveRelation<T> where
    T: HashStable<CTX> + Eq + Debug + Clone + Hash
[src]

[src]

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?