pub struct TriColorDepthFirstSearch<'graph, G>{
graph: &'graph G,
stack: Vec<Event<G::Node>>,
visited: BitSet<G::Node>,
settled: BitSet<G::Node>,
}
Expand description
A depth-first search that also tracks when all successors of a node have been examined.
This is based on the DFS described in Introduction to Algorithms (1st ed.), hereby
referred to as CLR. However, we use the terminology in NodeStatus
above instead of
“discovered”/“finished” or “white”/“grey”/“black”. Each node begins the search with no status,
becomes Visited
when it is first examined by the DFS and is Settled
when all nodes
reachable from it have been examined. This allows us to differentiate between “tree”, “back”
and “forward” edges (see TriColorVisitor::node_examined
).
Unlike the pseudocode in CLR, this implementation is iterative and does not use timestamps.
We accomplish this by storing Event
s on the stack that result in a (possible) state change
for each node. A Visited
event signifies that we should examine this node if it has not yet
been Visited
or Settled
. When a node is examined for the first time, we mark it as
Visited
and push a Settled
event for it on stack followed by Visited
events for all of
its predecessors, scheduling them for examination. Multiple Visited
events for a single node
may exist on the stack simultaneously if a node has multiple predecessors, but only one
Settled
event will ever be created for each node. After all Visited
events for a node’s
successors have been popped off the stack (as well as any new events triggered by visiting
those successors), we will pop off that node’s Settled
event.
Fields§
§graph: &'graph G
§stack: Vec<Event<G::Node>>
§visited: BitSet<G::Node>
§settled: BitSet<G::Node>
Implementations§
source§impl<'graph, G> TriColorDepthFirstSearch<'graph, G>
impl<'graph, G> TriColorDepthFirstSearch<'graph, G>
source§impl<G> TriColorDepthFirstSearch<'_, G>
impl<G> TriColorDepthFirstSearch<'_, G>
sourcepub fn run_from_start<V>(self, visitor: &mut V) -> Option<V::BreakVal>where
V: TriColorVisitor<G>,
pub fn run_from_start<V>(self, visitor: &mut V) -> Option<V::BreakVal>where
V: TriColorVisitor<G>,
Performs a depth-first search, starting from G::start_node()
.
This won’t visit nodes that are not reachable from the start node.
Auto Trait Implementations§
impl<'graph, G> Freeze for TriColorDepthFirstSearch<'graph, G>where
G: ?Sized,
impl<'graph, G> RefUnwindSafe for TriColorDepthFirstSearch<'graph, G>
impl<'graph, G> Send for TriColorDepthFirstSearch<'graph, G>
impl<'graph, G> Sync for TriColorDepthFirstSearch<'graph, G>
impl<'graph, G> Unpin for TriColorDepthFirstSearch<'graph, G>
impl<'graph, G> UnwindSafe for TriColorDepthFirstSearch<'graph, G>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
Layout§
Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.