pub fn core_nodes(&self) -> NodeIdSet {
        let sccs = partition_into_strongly_connected_components(&self.satisfiable_nodes(), self);
        let mut relevant_nodes = bitset![];
        for scc in sccs {
            if contains_quorum(&scc, self) {
                relevant_nodes.union_with(&scc);
            }
        }
        relevant_nodes
    }
/// Returns all nodes part of a quorum-containing strongly connected component.
Returns all nodes part of a quorum-containing strongly connected component.
Returns all nodes part of a quorum - containing strongly connected component .
pub fn core_nodes(&self) -> NodeIdSet {
        let sccs = partition_into_strongly_connected_components(&self.satisfiable_nodes(), self);
        let mut relevant_nodes = bitset![];
        for scc in sccs {
            if contains_quorum(&scc, self) {
                relevant_nodes.union_with(&scc);
            }
        }
        relevant_nodes
    }
pub fn core_nodes ( & self ) -> NodeIdSet { let sccs = partition_into_strongly_connected_components ( & self . satisfiable_nodes ( ) , self ) ; let mut relevant_nodes = bitset ! [ ] ; for scc in sccs { if contains_quorum ( & scc , self ) { relevant_nodes . union_with ( & scc ) ; } } relevant_nodes }
Returns all nodes part of a quorum-containing strongly connected component.
Returns all nodes part of a quorum - containing strongly connected component .
&self
&self