move heuristic into morphism graph module

2025-06-11 13:30:30 +02:00 · 2025-06-11 13:30:30 +02:00 · d5ef37a433
commit d5ef37a433
parent b41cef5df3
3 changed files with 1 additions and 2 deletions
--- a/src/lib.rs
+++ b/src/lib.rs
@ -7,8 +7,6 @@ pub mod context;
 pub mod constraint_system;
 pub mod morphism_graph;

-pub mod heuristic;
-
 #[cfg(test)]
 mod test;

--- a/src/morphism_graph/heuristic.rs
+++ b/src/morphism_graph/heuristic.rs
--- a/src/morphism_graph/mod.rs
+++ b/src/morphism_graph/mod.rs
@ -1,5 +1,6 @@
 pub mod morphism_base;
 pub mod morphism_graph;
+pub mod heuristic;

 pub use morphism_base::*;
 pub use morphism_graph::*;