Struct SccConstraints

struct SccConstraints<'a, 'tcx> {
    regioncx: &'a RegionInferenceContext<'tcx>,
    nodes_per_scc: IndexVec<ConstraintSccIndex, Vec<RegionVid>>,
}

Fields

regioncx: &'a RegionInferenceContext<'tcx>

nodes_per_scc: IndexVec<ConstraintSccIndex, Vec<RegionVid>>

Trait Implementations

impl<'a, 'this, 'tcx> GraphWalk<'this> for SccConstraints<'a, 'tcx>

type Node = ConstraintSccIndex

type Edge = (ConstraintSccIndex, ConstraintSccIndex)

fn nodes(&'this self) -> Nodes<'this, ConstraintSccIndex>

Returns all the nodes in this graph.

fn edges(&'this self) -> Edges<'this, (ConstraintSccIndex, ConstraintSccIndex)>

Returns all of the edges in this graph.

fn source( &'this self, edge: &(ConstraintSccIndex, ConstraintSccIndex), ) -> ConstraintSccIndex

The source node for edge.

fn target( &'this self, edge: &(ConstraintSccIndex, ConstraintSccIndex), ) -> ConstraintSccIndex

The target node for edge.

impl<'a, 'this, 'tcx> Labeller<'this> for SccConstraints<'a, 'tcx>

type Node = ConstraintSccIndex

type Edge = (ConstraintSccIndex, ConstraintSccIndex)

fn graph_id(&'this self) -> Id<'this>

Must return a DOT compatible identifier naming the graph.

fn node_id(&'this self, n: &ConstraintSccIndex) -> Id<'this>

Maps n to a unique identifier with respect to self. The implementor is responsible for ensuring that the returned name is a valid DOT identifier.

fn node_shape( &'this self, _node: &ConstraintSccIndex, ) -> Option<LabelText<'this>>

Maps n to one of the graphviz shape names. If None is returned, no shape attribute is specified.

fn node_label(&'this self, n: &ConstraintSccIndex) -> LabelText<'this>

Maps n to a label that will be used in the rendered output. The label need not be unique, and may be the empty string; the default is just the output from node_id.

fn edge_label(&'a self, _e: &Self::Edge) -> LabelText<'a>

Maps e to a label that will be used in the rendered output. The label need not be unique, and may be the empty string; the default is in fact the empty string.

fn node_style(&'a self, _n: &Self::Node) -> Style

Maps n to a style that will be used in the rendered output.

fn edge_style(&'a self, _e: &Self::Edge) -> Style

Maps e to a style that will be used in the rendered output.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 32 bytes