From 150be41d49418b4f8900a35ff7165f3ed55d5d47 Mon Sep 17 00:00:00 2001
From: BritikovKI <BritikovKI@yandex.ru>
Date: Tue, 17 Sep 2024 11:55:35 +0200
Subject: [PATCH] Merging nested loops: removed code duplication

---
 src/TransformationUtils.h                   | 2 ++
 src/transformers/NestedLoopTransformation.h | 1 -
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/TransformationUtils.h b/src/TransformationUtils.h
index fc6f19cd..1bf27ecd 100644
--- a/src/TransformationUtils.h
+++ b/src/TransformationUtils.h
@@ -34,4 +34,6 @@ std::unique_ptr<SystemType> systemTypeFrom(vec<PTRef> const & stateVars, vec<PTR
 PTRef transitionFormulaInSystemType(SystemType const & systemType, EdgeVariables const & edgeVariables, PTRef edgeLabel,
                                     Logic & logic);
 
+std::vector<EId> detectLoop(const ChcDirectedGraph & graph);
+
 #endif // OPENSMT_TRANSFORMATIONUTILS_H
diff --git a/src/transformers/NestedLoopTransformation.h b/src/transformers/NestedLoopTransformation.h
index 73a41166..d9bfccd5 100644
--- a/src/transformers/NestedLoopTransformation.h
+++ b/src/transformers/NestedLoopTransformation.h
@@ -65,7 +65,6 @@ class NestedLoopTransformation:LoopTransformation {
         std::unordered_set<PTRef, PTRefHash> getVarsForVertex(SymRef vertex) const;
     };
 
-    static std::vector<EId> detectLoop(ChcDirectedGraph const & graph);
     static SymRef simplifyLoop(ChcDirectedGraph & graph, std::vector<EId> loop, LocationVarMap & locationVars,
                                PositionVarMap & argVars);