1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
//! Iterate a digraph's sinks.
//!
//! A sink is a vertex with no out-neighbors.
//!
//! # Examples
//!
//! ```
//! use graaf::{
//!     AddArc,
//!     AdjacencyList,
//!     Empty,
//!     Sinks,
//! };
//!
//! let mut digraph = AdjacencyList::empty(4);
//!
//! digraph.add_arc(0, 1);
//! digraph.add_arc(0, 2);
//! digraph.add_arc(1, 2);
//!
//! assert!(digraph.sinks().eq([2, 3]));
//! ```

use crate::{
    Outdegree,
    Vertices,
};

/// Iterate a digraph's sinks.
///
/// # Implementing [`Sinks`] for a custom type
///
/// Provide an implementation of [`sinks`](Sinks::sinks) that returns an
/// iterator over the sinks in the digraph OR implement `Outdegree` and
/// `Vertices`.
///
/// ```
/// use {
///     graaf::{
///         Outdegree,
///         Sinks,
///         Vertices,
///     },
///     std::collections::BTreeSet,
/// };
///
/// struct AdjacencyList {
///     arcs: Vec<BTreeSet<usize>>,
/// }
///
/// impl Outdegree for AdjacencyList {
///     fn outdegree(&self, u: usize) -> usize {
///         self.arcs[u].len()
///     }
/// }
///
/// impl Vertices for AdjacencyList {
///     fn vertices(&self) -> impl Iterator<Item = usize> {
///         0..self.arcs.len()
///     }
/// }
///
/// let mut digraph = AdjacencyList {
///     arcs: vec![
///         BTreeSet::from([1, 2]),
///         BTreeSet::from([2]),
///         BTreeSet::new(),
///         BTreeSet::new(),
///     ],
/// };
///
/// assert!(digraph.sinks().eq([2, 3]));
/// ```
pub trait Sinks {
    /// Return an iterator over the sinks in the digraph.
    ///
    /// # Examples
    ///
    /// ```
    /// use graaf::{
    ///     AddArc,
    ///     AdjacencyList,
    ///     Empty,
    ///     Sinks,
    /// };
    ///
    /// let mut digraph = AdjacencyList::empty(4);
    ///
    /// digraph.add_arc(0, 1);
    /// digraph.add_arc(0, 2);
    /// digraph.add_arc(1, 2);
    ///
    /// assert!(digraph.sinks().eq([2, 3]));
    /// ```
    fn sinks(&self) -> impl Iterator<Item = usize>;
}

impl<D> Sinks for D
where
    D: Outdegree + Vertices,
{
    fn sinks(&self) -> impl Iterator<Item = usize> {
        self.vertices().filter(move |&u| self.is_sink(u))
    }
}