pub trait SwhLabeledBackwardGraph: SwhBackwardGraph {
type LabeledArcs<'arc>: IntoIterator<Item = UntypedEdgeLabel>
where Self: 'arc;
type LabeledPredecessors<'node>: IntoIterator<Item = (usize, Self::LabeledArcs<'node>)> + IntoFlattenedLabeledArcsIterator<UntypedEdgeLabel>
where Self: 'node;
// Required method
fn untyped_labeled_predecessors(
&self,
node_id: NodeId,
) -> Self::LabeledPredecessors<'_>;
// Provided method
fn labeled_predecessors(
&self,
node_id: NodeId,
) -> impl Iterator<Item = (usize, impl Iterator<Item = EdgeLabel>)>
where Self: SwhGraphWithProperties + Sized,
<Self as SwhGraphWithProperties>::Maps: Maps { ... }
}
Required Associated Types§
type LabeledArcs<'arc>: IntoIterator<Item = UntypedEdgeLabel> where Self: 'arc
type LabeledPredecessors<'node>: IntoIterator<Item = (usize, Self::LabeledArcs<'node>)> + IntoFlattenedLabeledArcsIterator<UntypedEdgeLabel> where Self: 'node
Required Methods§
Sourcefn untyped_labeled_predecessors(
&self,
node_id: NodeId,
) -> Self::LabeledPredecessors<'_>
fn untyped_labeled_predecessors( &self, node_id: NodeId, ) -> Self::LabeledPredecessors<'_>
Return an IntoIterator
over the predecessors of a node along with a list of labels
of each arc
Provided Methods§
Sourcefn labeled_predecessors(
&self,
node_id: NodeId,
) -> impl Iterator<Item = (usize, impl Iterator<Item = EdgeLabel>)>
fn labeled_predecessors( &self, node_id: NodeId, ) -> impl Iterator<Item = (usize, impl Iterator<Item = EdgeLabel>)>
Return an IntoIterator
over the predecessors of a node along with a list of labels
of each arc
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.