Move topo_sorted_sccs to util crate

Author: jix

imctk/src/extract.rs

@@ -7,9 +7,7 @@ use imctk_ir::{
     node::NodeId,
     var::{Lit, Var},
 };
-use imctk_util::vec_sink::VecSink;
-
-use crate::topo_sorted_sccs::TopoSortedSccs;
+use imctk_util::{topo_sorted_sccs::TopoSortedSccs, vec_sink::VecSink};
 
 pub mod aiger;
 

imctk/src/lib.rs

@@ -3,7 +3,5 @@
 #![warn(clippy::undocumented_unsafe_blocks)]
 #![warn(missing_docs)]
 
-pub mod topo_sorted_sccs;
-
 pub mod extract;
 pub mod import;

util/src/lib.rs

@@ -7,5 +7,6 @@
 pub mod give_take;
 
 pub mod partition_refinement;
+pub mod topo_sorted_sccs;
 pub mod unordered_pair;
 pub mod vec_sink;

imctk/src/topo_sorted_sccs.rs util/src/topo_sorted_sccs.rsimctk/src/topo_sorted_sccs.rs renamed to util/src/topo_sorted_sccs.rs

@@ -1,6 +1,6 @@
 //! Utilities for topological sorting and detecting strongly connected components.
+use crate::vec_sink::VecSink;
 use imctk_ids::{id_vec::IdVec, Id};
-use imctk_util::vec_sink::VecSink;
 
 struct DfsEntry<D: DfsIndexMap> {
     node: D::Node,