2014-01-25 20:37:51 +13:00
|
|
|
// Copyright 2012-2014 The Rust Project Developers. See the COPYRIGHT
|
2013-05-09 11:29:17 -04:00
|
|
|
// file at the top-level directory of this distribution and at
|
|
|
|
|
// http://rust-lang.org/COPYRIGHT.
|
|
|
|
|
//
|
|
|
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
|
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
|
|
|
// option. This file may not be copied, modified, or distributed
|
|
|
|
|
// except according to those terms.
|
|
|
|
|
|
2014-11-25 21:17:11 -05:00
|
|
|
//! A graph module for use in dataflow, region resolution, and elsewhere.
|
|
|
|
|
//!
|
|
|
|
|
//! # Interface details
|
|
|
|
|
//!
|
|
|
|
|
//! You customize the graph by specifying a "node data" type `N` and an
|
|
|
|
|
//! "edge data" type `E`. You can then later gain access (mutable or
|
|
|
|
|
//! immutable) to these "user-data" bits. Currently, you can only add
|
|
|
|
|
//! nodes or edges to the graph. You cannot remove or modify them once
|
|
|
|
|
//! added. This could be changed if we have a need.
|
|
|
|
|
//!
|
|
|
|
|
//! # Implementation details
|
|
|
|
|
//!
|
|
|
|
|
//! The main tricky thing about this code is the way that edges are
|
|
|
|
|
//! stored. The edges are stored in a central array, but they are also
|
|
|
|
|
//! threaded onto two linked lists for each node, one for incoming edges
|
|
|
|
|
//! and one for outgoing edges. Note that every edge is a member of some
|
|
|
|
|
//! incoming list and some outgoing list. Basically you can load the
|
|
|
|
|
//! first index of the linked list from the node data structures (the
|
|
|
|
|
//! field `first_edge`) and then, for each edge, load the next index from
|
|
|
|
|
//! the field `next_edge`). Each of those fields is an array that should
|
|
|
|
|
//! be indexed by the direction (see the type `Direction`).
|
2013-05-09 11:29:17 -04:00
|
|
|
|
2018-07-30 08:58:14 -06:00
|
|
|
use bitvec::BitArray;
|
2017-10-09 20:09:08 +02:00
|
|
|
use std::fmt::Debug;
|
2015-02-09 16:33:19 -08:00
|
|
|
use std::usize;
|
2015-04-07 06:12:13 -04:00
|
|
|
use snapshot_vec::{SnapshotVec, SnapshotVecDelegate};
|
|
|
|
|
|
|
|
|
|
#[cfg(test)]
|
2015-04-24 17:30:41 +02:00
|
|
|
mod tests;
|
2013-05-09 11:29:17 -04:00
|
|
|
|
2016-03-05 08:40:33 -05:00
|
|
|
pub struct Graph<N, E> {
|
|
|
|
|
nodes: SnapshotVec<Node<N>>,
|
|
|
|
|
edges: SnapshotVec<Edge<E>>,
|
2013-05-09 11:29:17 -04:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub struct Node<N> {
|
2014-12-30 21:19:41 +13:00
|
|
|
first_edge: [EdgeIndex; 2], // see module comment
|
2014-03-28 10:05:27 -07:00
|
|
|
pub data: N,
|
2013-05-09 11:29:17 -04:00
|
|
|
}
|
|
|
|
|
|
2017-10-09 20:09:08 +02:00
|
|
|
#[derive(Debug)]
|
2013-05-09 11:29:17 -04:00
|
|
|
pub struct Edge<E> {
|
2014-12-30 21:19:41 +13:00
|
|
|
next_edge: [EdgeIndex; 2], // see module comment
|
2014-03-28 10:05:27 -07:00
|
|
|
source: NodeIndex,
|
|
|
|
|
target: NodeIndex,
|
|
|
|
|
pub data: E,
|
2013-05-09 11:29:17 -04:00
|
|
|
}
|
|
|
|
|
|
2015-04-07 06:12:13 -04:00
|
|
|
impl<N> SnapshotVecDelegate for Node<N> {
|
|
|
|
|
type Value = Node<N>;
|
|
|
|
|
type Undo = ();
|
|
|
|
|
|
|
|
|
|
fn reverse(_: &mut Vec<Node<N>>, _: ()) {}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
impl<N> SnapshotVecDelegate for Edge<N> {
|
|
|
|
|
type Value = Edge<N>;
|
|
|
|
|
type Undo = ();
|
|
|
|
|
|
|
|
|
|
fn reverse(_: &mut Vec<Edge<N>>, _: ()) {}
|
|
|
|
|
}
|
|
|
|
|
|
2016-01-05 13:02:57 -05:00
|
|
|
#[derive(Copy, Clone, PartialEq, Eq, Debug, Hash)]
|
2015-03-25 17:06:52 -07:00
|
|
|
pub struct NodeIndex(pub usize);
|
2013-05-09 11:29:17 -04:00
|
|
|
|
2016-01-05 13:02:57 -05:00
|
|
|
#[derive(Copy, Clone, PartialEq, Eq, Debug, Hash)]
|
2015-03-25 17:06:52 -07:00
|
|
|
pub struct EdgeIndex(pub usize);
|
2015-04-07 06:12:13 -04:00
|
|
|
|
|
|
|
|
pub const INVALID_EDGE_INDEX: EdgeIndex = EdgeIndex(usize::MAX);
|
2013-05-09 11:29:17 -04:00
|
|
|
|
|
|
|
|
// Use a private field here to guarantee no more instances are created:
|
2016-01-05 13:02:57 -05:00
|
|
|
#[derive(Copy, Clone, Debug, PartialEq)]
|
2016-03-05 08:40:33 -05:00
|
|
|
pub struct Direction {
|
|
|
|
|
repr: usize,
|
|
|
|
|
}
|
2015-04-07 06:12:13 -04:00
|
|
|
|
|
|
|
|
pub const OUTGOING: Direction = Direction { repr: 0 };
|
|
|
|
|
|
|
|
|
|
pub const INCOMING: Direction = Direction { repr: 1 };
|
2013-05-09 11:29:17 -04:00
|
|
|
|
2013-11-01 18:06:31 -07:00
|
|
|
impl NodeIndex {
|
2014-05-06 09:34:29 +02:00
|
|
|
/// Returns unique id (unique with respect to the graph holding associated node).
|
2016-03-05 08:40:33 -05:00
|
|
|
pub fn node_id(&self) -> usize {
|
|
|
|
|
self.0
|
|
|
|
|
}
|
2013-11-01 18:06:31 -07:00
|
|
|
}
|
|
|
|
|
|
2016-03-05 08:40:33 -05:00
|
|
|
impl<N: Debug, E: Debug> Graph<N, E> {
|
|
|
|
|
pub fn new() -> Graph<N, E> {
|
2014-03-08 21:36:22 +01:00
|
|
|
Graph {
|
2015-04-07 06:12:13 -04:00
|
|
|
nodes: SnapshotVec::new(),
|
|
|
|
|
edges: SnapshotVec::new(),
|
2014-03-08 21:36:22 +01:00
|
|
|
}
|
2013-05-09 11:29:17 -04:00
|
|
|
}
|
|
|
|
|
|
2017-09-14 21:28:55 -07:00
|
|
|
pub fn with_capacity(nodes: usize, edges: usize) -> Graph<N, E> {
|
|
|
|
|
Graph {
|
|
|
|
|
nodes: SnapshotVec::with_capacity(nodes),
|
|
|
|
|
edges: SnapshotVec::with_capacity(edges),
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2016-03-05 06:54:24 -05:00
|
|
|
// # Simple accessors
|
2013-05-09 11:29:17 -04:00
|
|
|
|
|
|
|
|
#[inline]
|
2016-02-17 20:20:41 -05:00
|
|
|
pub fn all_nodes(&self) -> &[Node<N>] {
|
2015-02-01 21:53:25 -05:00
|
|
|
&self.nodes
|
2013-05-09 11:29:17 -04:00
|
|
|
}
|
|
|
|
|
|
2015-08-18 17:56:25 -04:00
|
|
|
#[inline]
|
|
|
|
|
pub fn len_nodes(&self) -> usize {
|
|
|
|
|
self.nodes.len()
|
|
|
|
|
}
|
|
|
|
|
|
2013-05-09 11:29:17 -04:00
|
|
|
#[inline]
|
2016-02-17 20:20:41 -05:00
|
|
|
pub fn all_edges(&self) -> &[Edge<E>] {
|
2015-02-01 21:53:25 -05:00
|
|
|
&self.edges
|
2013-05-09 11:29:17 -04:00
|
|
|
}
|
|
|
|
|
|
2015-08-18 17:56:25 -04:00
|
|
|
#[inline]
|
|
|
|
|
pub fn len_edges(&self) -> usize {
|
|
|
|
|
self.edges.len()
|
|
|
|
|
}
|
|
|
|
|
|
2016-03-05 06:54:24 -05:00
|
|
|
// # Node construction
|
2013-05-09 11:29:17 -04:00
|
|
|
|
|
|
|
|
pub fn next_node_index(&self) -> NodeIndex {
|
|
|
|
|
NodeIndex(self.nodes.len())
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn add_node(&mut self, data: N) -> NodeIndex {
|
|
|
|
|
let idx = self.next_node_index();
|
|
|
|
|
self.nodes.push(Node {
|
2015-04-07 06:12:13 -04:00
|
|
|
first_edge: [INVALID_EDGE_INDEX, INVALID_EDGE_INDEX],
|
2017-08-06 22:54:09 -07:00
|
|
|
data,
|
2013-05-09 11:29:17 -04:00
|
|
|
});
|
|
|
|
|
idx
|
|
|
|
|
}
|
|
|
|
|
|
2016-02-17 20:20:41 -05:00
|
|
|
pub fn mut_node_data(&mut self, idx: NodeIndex) -> &mut N {
|
2015-04-07 06:12:13 -04:00
|
|
|
&mut self.nodes[idx.0].data
|
2013-05-09 11:29:17 -04:00
|
|
|
}
|
|
|
|
|
|
2016-02-17 20:20:41 -05:00
|
|
|
pub fn node_data(&self, idx: NodeIndex) -> &N {
|
2015-04-07 06:12:13 -04:00
|
|
|
&self.nodes[idx.0].data
|
2013-05-09 11:29:17 -04:00
|
|
|
}
|
|
|
|
|
|
2016-02-17 20:20:41 -05:00
|
|
|
pub fn node(&self, idx: NodeIndex) -> &Node<N> {
|
2015-04-07 06:12:13 -04:00
|
|
|
&self.nodes[idx.0]
|
2013-05-09 11:29:17 -04:00
|
|
|
}
|
|
|
|
|
|
2016-03-05 06:54:24 -05:00
|
|
|
// # Edge construction and queries
|
2013-05-09 11:29:17 -04:00
|
|
|
|
|
|
|
|
pub fn next_edge_index(&self) -> EdgeIndex {
|
|
|
|
|
EdgeIndex(self.edges.len())
|
|
|
|
|
}
|
|
|
|
|
|
2016-03-05 08:40:33 -05:00
|
|
|
pub fn add_edge(&mut self, source: NodeIndex, target: NodeIndex, data: E) -> EdgeIndex {
|
2015-04-07 06:12:13 -04:00
|
|
|
debug!("graph: add_edge({:?}, {:?}, {:?})", source, target, data);
|
|
|
|
|
|
2013-05-09 11:29:17 -04:00
|
|
|
let idx = self.next_edge_index();
|
|
|
|
|
|
|
|
|
|
// read current first of the list of edges from each node
|
2016-03-05 08:40:33 -05:00
|
|
|
let source_first = self.nodes[source.0].first_edge[OUTGOING.repr];
|
|
|
|
|
let target_first = self.nodes[target.0].first_edge[INCOMING.repr];
|
2013-05-09 11:29:17 -04:00
|
|
|
|
|
|
|
|
// create the new edge, with the previous firsts from each node
|
|
|
|
|
// as the next pointers
|
|
|
|
|
self.edges.push(Edge {
|
|
|
|
|
next_edge: [source_first, target_first],
|
2017-08-06 22:54:09 -07:00
|
|
|
source,
|
|
|
|
|
target,
|
|
|
|
|
data,
|
2013-05-09 11:29:17 -04:00
|
|
|
});
|
|
|
|
|
|
|
|
|
|
// adjust the firsts for each node target be the next object.
|
2015-04-07 06:12:13 -04:00
|
|
|
self.nodes[source.0].first_edge[OUTGOING.repr] = idx;
|
|
|
|
|
self.nodes[target.0].first_edge[INCOMING.repr] = idx;
|
2013-05-09 11:29:17 -04:00
|
|
|
|
|
|
|
|
return idx;
|
|
|
|
|
}
|
|
|
|
|
|
2016-02-17 20:20:41 -05:00
|
|
|
pub fn edge(&self, idx: EdgeIndex) -> &Edge<E> {
|
2015-04-07 06:12:13 -04:00
|
|
|
&self.edges[idx.0]
|
2013-05-09 11:29:17 -04:00
|
|
|
}
|
|
|
|
|
|
2016-03-05 06:54:24 -05:00
|
|
|
// # Iterating over nodes, edges
|
2013-05-09 11:29:17 -04:00
|
|
|
|
2018-03-03 10:22:07 -05:00
|
|
|
pub fn enumerated_nodes(&self) -> impl Iterator<Item = (NodeIndex, &Node<N>)> {
|
|
|
|
|
self.nodes
|
|
|
|
|
.iter()
|
|
|
|
|
.enumerate()
|
|
|
|
|
.map(|(idx, n)| (NodeIndex(idx), n))
|
2016-11-02 01:35:44 -07:00
|
|
|
}
|
|
|
|
|
|
2018-03-03 10:22:07 -05:00
|
|
|
pub fn enumerated_edges(&self) -> impl Iterator<Item = (EdgeIndex, &Edge<E>)> {
|
|
|
|
|
self.edges
|
|
|
|
|
.iter()
|
|
|
|
|
.enumerate()
|
|
|
|
|
.map(|(idx, e)| (EdgeIndex(idx), e))
|
2016-11-02 01:35:44 -07:00
|
|
|
}
|
|
|
|
|
|
2018-03-03 10:24:29 -05:00
|
|
|
pub fn each_node<'a>(&'a self, mut f: impl FnMut(NodeIndex, &'a Node<N>) -> bool) -> bool {
|
2013-05-09 11:29:17 -04:00
|
|
|
//! Iterates over all edges defined in the graph.
|
2018-03-03 10:24:29 -05:00
|
|
|
self.enumerated_nodes()
|
|
|
|
|
.all(|(node_idx, node)| f(node_idx, node))
|
2013-05-09 11:29:17 -04:00
|
|
|
}
|
|
|
|
|
|
2018-03-03 10:24:29 -05:00
|
|
|
pub fn each_edge<'a>(&'a self, mut f: impl FnMut(EdgeIndex, &'a Edge<E>) -> bool) -> bool {
|
2013-08-07 19:29:19 +02:00
|
|
|
//! Iterates over all edges defined in the graph
|
2018-03-03 10:24:29 -05:00
|
|
|
self.enumerated_edges()
|
|
|
|
|
.all(|(edge_idx, edge)| f(edge_idx, edge))
|
2013-05-09 11:29:17 -04:00
|
|
|
}
|
|
|
|
|
|
2016-03-05 08:40:33 -05:00
|
|
|
pub fn outgoing_edges(&self, source: NodeIndex) -> AdjacentEdges<N, E> {
|
2015-04-07 06:12:13 -04:00
|
|
|
self.adjacent_edges(source, OUTGOING)
|
|
|
|
|
}
|
2013-05-09 11:29:17 -04:00
|
|
|
|
2016-03-05 08:40:33 -05:00
|
|
|
pub fn incoming_edges(&self, source: NodeIndex) -> AdjacentEdges<N, E> {
|
2015-04-07 06:12:13 -04:00
|
|
|
self.adjacent_edges(source, INCOMING)
|
2013-05-09 11:29:17 -04:00
|
|
|
}
|
|
|
|
|
|
2016-03-05 08:40:33 -05:00
|
|
|
pub fn adjacent_edges(&self, source: NodeIndex, direction: Direction) -> AdjacentEdges<N, E> {
|
2015-04-07 06:12:13 -04:00
|
|
|
let first_edge = self.node(source).first_edge[direction.repr];
|
2016-03-05 08:40:33 -05:00
|
|
|
AdjacentEdges {
|
|
|
|
|
graph: self,
|
2017-08-06 22:54:09 -07:00
|
|
|
direction,
|
2016-03-05 08:40:33 -05:00
|
|
|
next: first_edge,
|
|
|
|
|
}
|
2015-04-07 06:12:13 -04:00
|
|
|
}
|
2013-05-09 11:29:17 -04:00
|
|
|
|
2018-03-03 10:22:07 -05:00
|
|
|
pub fn successor_nodes<'a>(
|
|
|
|
|
&'a self,
|
|
|
|
|
source: NodeIndex,
|
|
|
|
|
) -> impl Iterator<Item = NodeIndex> + 'a {
|
2015-04-07 06:12:13 -04:00
|
|
|
self.outgoing_edges(source).targets()
|
2013-05-09 11:29:17 -04:00
|
|
|
}
|
|
|
|
|
|
2018-03-03 10:22:07 -05:00
|
|
|
pub fn predecessor_nodes<'a>(
|
|
|
|
|
&'a self,
|
|
|
|
|
target: NodeIndex,
|
|
|
|
|
) -> impl Iterator<Item = NodeIndex> + 'a {
|
2015-04-07 06:12:13 -04:00
|
|
|
self.incoming_edges(target).sources()
|
2013-05-09 11:29:17 -04:00
|
|
|
}
|
|
|
|
|
|
2018-03-03 10:24:29 -05:00
|
|
|
pub fn depth_traverse<'a>(
|
|
|
|
|
&'a self,
|
|
|
|
|
start: NodeIndex,
|
|
|
|
|
direction: Direction,
|
|
|
|
|
) -> DepthFirstTraversal<'a, N, E> {
|
2016-08-05 19:42:41 -04:00
|
|
|
DepthFirstTraversal::with_start_node(self, start, direction)
|
2015-04-07 06:12:13 -04:00
|
|
|
}
|
2016-11-02 02:38:36 -07:00
|
|
|
|
2018-03-03 10:24:29 -05:00
|
|
|
pub fn nodes_in_postorder<'a>(
|
|
|
|
|
&'a self,
|
|
|
|
|
direction: Direction,
|
|
|
|
|
entry_node: NodeIndex,
|
|
|
|
|
) -> Vec<NodeIndex> {
|
2018-07-30 08:58:14 -06:00
|
|
|
let mut visited = BitArray::new(self.len_nodes());
|
2017-08-07 15:56:43 +03:00
|
|
|
let mut stack = vec![];
|
|
|
|
|
let mut result = Vec::with_capacity(self.len_nodes());
|
|
|
|
|
let mut push_node = |stack: &mut Vec<_>, node: NodeIndex| {
|
|
|
|
|
if visited.insert(node.0) {
|
|
|
|
|
stack.push((node, self.adjacent_edges(node, direction)));
|
|
|
|
|
}
|
|
|
|
|
};
|
|
|
|
|
|
2018-03-03 10:24:29 -05:00
|
|
|
for node in Some(entry_node)
|
|
|
|
|
.into_iter()
|
2017-08-07 15:56:43 +03:00
|
|
|
.chain(self.enumerated_nodes().map(|(node, _)| node))
|
|
|
|
|
{
|
|
|
|
|
push_node(&mut stack, node);
|
|
|
|
|
while let Some((node, mut iter)) = stack.pop() {
|
|
|
|
|
if let Some((_, child)) = iter.next() {
|
|
|
|
|
let target = child.source_or_target(direction);
|
|
|
|
|
// the current node needs more processing, so
|
|
|
|
|
// add it back to the stack
|
|
|
|
|
stack.push((node, iter));
|
|
|
|
|
// and then push the new node
|
|
|
|
|
push_node(&mut stack, target);
|
|
|
|
|
} else {
|
|
|
|
|
result.push(node);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
assert_eq!(result.len(), self.len_nodes());
|
|
|
|
|
result
|
|
|
|
|
}
|
2015-04-07 06:12:13 -04:00
|
|
|
}
|
|
|
|
|
|
2016-03-05 06:54:24 -05:00
|
|
|
// # Iterators
|
2015-04-07 06:12:13 -04:00
|
|
|
|
2016-03-05 08:40:33 -05:00
|
|
|
pub struct AdjacentEdges<'g, N, E>
|
2018-03-03 10:24:29 -05:00
|
|
|
where
|
|
|
|
|
N: 'g,
|
|
|
|
|
E: 'g,
|
2015-04-07 06:12:13 -04:00
|
|
|
{
|
|
|
|
|
graph: &'g Graph<N, E>,
|
|
|
|
|
direction: Direction,
|
|
|
|
|
next: EdgeIndex,
|
|
|
|
|
}
|
|
|
|
|
|
2018-03-03 10:22:07 -05:00
|
|
|
impl<'g, N: Debug, E: Debug> AdjacentEdges<'g, N, E> {
|
|
|
|
|
fn targets(self) -> impl Iterator<Item = NodeIndex> + 'g {
|
|
|
|
|
self.into_iter().map(|(_, edge)| edge.target)
|
2015-04-07 06:12:13 -04:00
|
|
|
}
|
|
|
|
|
|
2018-03-03 10:22:07 -05:00
|
|
|
fn sources(self) -> impl Iterator<Item = NodeIndex> + 'g {
|
|
|
|
|
self.into_iter().map(|(_, edge)| edge.source)
|
2015-04-07 06:12:13 -04:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2016-03-05 08:40:33 -05:00
|
|
|
impl<'g, N: Debug, E: Debug> Iterator for AdjacentEdges<'g, N, E> {
|
2015-04-07 06:12:13 -04:00
|
|
|
type Item = (EdgeIndex, &'g Edge<E>);
|
|
|
|
|
|
|
|
|
|
fn next(&mut self) -> Option<(EdgeIndex, &'g Edge<E>)> {
|
|
|
|
|
let edge_index = self.next;
|
|
|
|
|
if edge_index == INVALID_EDGE_INDEX {
|
|
|
|
|
return None;
|
2014-12-16 12:21:08 +13:00
|
|
|
}
|
2015-04-07 06:12:13 -04:00
|
|
|
|
|
|
|
|
let edge = self.graph.edge(edge_index);
|
|
|
|
|
self.next = edge.next_edge[self.direction.repr];
|
|
|
|
|
Some((edge_index, edge))
|
|
|
|
|
}
|
2018-03-20 05:33:59 -04:00
|
|
|
|
|
|
|
|
fn size_hint(&self) -> (usize, Option<usize>) {
|
|
|
|
|
// At most, all the edges in the graph.
|
|
|
|
|
(0, Some(self.graph.len_edges()))
|
|
|
|
|
}
|
2015-04-07 06:12:13 -04:00
|
|
|
}
|
|
|
|
|
|
2016-11-01 20:32:02 -07:00
|
|
|
pub struct DepthFirstTraversal<'g, N, E>
|
2018-03-03 10:24:29 -05:00
|
|
|
where
|
|
|
|
|
N: 'g,
|
|
|
|
|
E: 'g,
|
2016-11-01 20:32:02 -07:00
|
|
|
{
|
2014-12-16 12:21:08 +13:00
|
|
|
graph: &'g Graph<N, E>,
|
|
|
|
|
stack: Vec<NodeIndex>,
|
2018-07-30 08:58:14 -06:00
|
|
|
visited: BitArray<usize>,
|
2016-04-06 17:28:59 -04:00
|
|
|
direction: Direction,
|
2014-12-16 12:21:08 +13:00
|
|
|
}
|
|
|
|
|
|
2016-08-05 19:42:41 -04:00
|
|
|
impl<'g, N: Debug, E: Debug> DepthFirstTraversal<'g, N, E> {
|
2018-03-03 10:24:29 -05:00
|
|
|
pub fn with_start_node(
|
|
|
|
|
graph: &'g Graph<N, E>,
|
|
|
|
|
start_node: NodeIndex,
|
|
|
|
|
direction: Direction,
|
|
|
|
|
) -> Self {
|
2018-07-30 08:58:14 -06:00
|
|
|
let mut visited = BitArray::new(graph.len_nodes());
|
2016-08-05 19:42:41 -04:00
|
|
|
visited.insert(start_node.node_id());
|
|
|
|
|
DepthFirstTraversal {
|
2017-08-06 22:54:09 -07:00
|
|
|
graph,
|
2016-08-05 19:42:41 -04:00
|
|
|
stack: vec![start_node],
|
2017-08-06 22:54:09 -07:00
|
|
|
visited,
|
|
|
|
|
direction,
|
2016-08-05 19:42:41 -04:00
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
fn visit(&mut self, node: NodeIndex) {
|
|
|
|
|
if self.visited.insert(node.node_id()) {
|
|
|
|
|
self.stack.push(node);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2016-03-05 08:40:33 -05:00
|
|
|
impl<'g, N: Debug, E: Debug> Iterator for DepthFirstTraversal<'g, N, E> {
|
2015-04-17 10:01:45 -04:00
|
|
|
type Item = NodeIndex;
|
2015-01-01 23:26:38 -05:00
|
|
|
|
2015-04-17 10:01:45 -04:00
|
|
|
fn next(&mut self) -> Option<NodeIndex> {
|
2016-08-05 19:42:41 -04:00
|
|
|
let next = self.stack.pop();
|
|
|
|
|
if let Some(idx) = next {
|
2016-04-06 17:28:59 -04:00
|
|
|
for (_, edge) in self.graph.adjacent_edges(idx, self.direction) {
|
|
|
|
|
let target = edge.source_or_target(self.direction);
|
2016-08-05 19:42:41 -04:00
|
|
|
self.visit(target);
|
2015-04-07 06:12:13 -04:00
|
|
|
}
|
2014-12-16 12:21:08 +13:00
|
|
|
}
|
2016-08-05 19:42:41 -04:00
|
|
|
next
|
2014-12-16 12:21:08 +13:00
|
|
|
}
|
2018-03-20 05:33:59 -04:00
|
|
|
|
|
|
|
|
fn size_hint(&self) -> (usize, Option<usize>) {
|
|
|
|
|
// We will visit every node in the graph exactly once.
|
|
|
|
|
let remaining = self.graph.len_nodes() - self.visited.count();
|
|
|
|
|
(remaining, Some(remaining))
|
|
|
|
|
}
|
2013-05-09 11:29:17 -04:00
|
|
|
}
|
|
|
|
|
|
2018-03-20 05:33:59 -04:00
|
|
|
impl<'g, N: Debug, E: Debug> ExactSizeIterator for DepthFirstTraversal<'g, N, E> {}
|
|
|
|
|
|
2013-05-09 11:29:17 -04:00
|
|
|
impl<E> Edge<E> {
|
|
|
|
|
pub fn source(&self) -> NodeIndex {
|
|
|
|
|
self.source
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
pub fn target(&self) -> NodeIndex {
|
|
|
|
|
self.target
|
|
|
|
|
}
|
2016-01-05 13:02:57 -05:00
|
|
|
|
|
|
|
|
pub fn source_or_target(&self, direction: Direction) -> NodeIndex {
|
|
|
|
|
if direction == OUTGOING {
|
|
|
|
|
self.target
|
|
|
|
|
} else {
|
|
|
|
|
self.source
|
|
|
|
|
}
|
|
|
|
|
}
|
2013-05-09 11:29:17 -04:00
|
|
|
}
|