refactor: removed useless/duplicated functions that remained after th…

…e restructure
sybila · Jan 13, 2024 · 29a9394 · 29a9394
1 parent 7a43cbb
commit 29a9394
Show file tree

Hide file tree

Showing 4 changed files with 10 additions and 472 deletions.
diff --git a/src/benchmarks/reachability.rs b/src/benchmarks/reachability.rs
@@ -8,7 +8,8 @@ use std::fmt::Debug;
 
 use crate::symbolic_domains::symbolic_domain::SymbolicDomainOrd;
 use crate::update::update_fn::SmartSystemUpdateFn;
-use crate::utils::{count_states, find_start_of, log_percent, pick_state_bdd};
+use crate::utils::{count_states, log_percent, pick_state_bdd};
+use crate::xml_parsing::utils::find_start_of;
 
 pub fn reachability_benchmark<D: SymbolicDomainOrd<u8> + Debug>(sbml_path: &str) {
     let smart_system_update_fn = {

diff --git a/src/test_utils.rs b/src/test_utils.rs
@@ -2,11 +2,13 @@ use biodivine_lib_bdd::Bdd;
 use num_bigint::BigInt;
 use std::fmt::Debug;
 
-use crate::utils::{count_states_exact, encode_state_map, find_start_of, pick_state_map};
+use crate::utils::{count_states_exact, encode_state_map, pick_state_map};
+
+use crate::xml_parsing::utils::find_start_of;
 
 use crate::symbolic_domains::symbolic_domain::{
-    BinaryIntegerDomain, GrayCodeIntegerDomain, PetriNetIntegerDomain, SymbolicDomain,
-    SymbolicDomainOrd, UnaryIntegerDomain,
+    BinaryIntegerDomain, GrayCodeIntegerDomain, PetriNetIntegerDomain, SymbolicDomainOrd,
+    UnaryIntegerDomain,
 };
 
 use crate::update::update_fn::SmartSystemUpdateFn;