diff options
| author | Maybe Waffle <waffle.lapkin@gmail.com> | 2024-04-14 16:03:08 +0000 |
|---|---|---|
| committer | Maybe Waffle <waffle.lapkin@gmail.com> | 2024-04-14 16:03:08 +0000 |
| commit | e8d2221e3bbb4e8971c97395463036ebd6e7b23d (patch) | |
| tree | c20a424652e88a7b6f26355bc998a40ab983baad /compiler/rustc_data_structures/src/graph/mod.rs | |
| parent | 3124fa93107d406dc77e56a0b8a5b372349a73ab (diff) | |
| download | rust-e8d2221e3bbb4e8971c97395463036ebd6e7b23d.tar.gz rust-e8d2221e3bbb4e8971c97395463036ebd6e7b23d.zip | |
Make `depth_first_search` into a standalone function
Does not necessarily change much, but we never overwrite it, so I see no reason for it to be in the `Successors` trait. (+we already have a similar `is_cyclic`)
Diffstat (limited to 'compiler/rustc_data_structures/src/graph/mod.rs')
| -rw-r--r-- | compiler/rustc_data_structures/src/graph/mod.rs | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/compiler/rustc_data_structures/src/graph/mod.rs b/compiler/rustc_data_structures/src/graph/mod.rs index 189474395ee..61bee2ee0bb 100644 --- a/compiler/rustc_data_structures/src/graph/mod.rs +++ b/compiler/rustc_data_structures/src/graph/mod.rs @@ -30,10 +30,6 @@ pub trait Successors: DirectedGraph { Self: 'g; fn successors(&self, node: Self::Node) -> Self::Successors<'_>; - - fn depth_first_search(&self, from: Self::Node) -> iterate::DepthFirstSearch<'_, Self> { - iterate::DepthFirstSearch::new(self).with_start_node(from) - } } pub trait Predecessors: DirectedGraph { @@ -57,3 +53,10 @@ where .run_from_start(&mut iterate::CycleDetector) .is_some() } + +pub fn depth_first_search<G>(graph: &G, from: G::Node) -> iterate::DepthFirstSearch<'_, G> +where + G: ?Sized + Successors, +{ + iterate::DepthFirstSearch::new(graph).with_start_node(from) +} |
