Merging nested loops: removed code duplication

usi-verification-and-security · Sep 17, 2024 · 150be41 · 150be41
1 parent 9bb7a8f
commit 150be41
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git 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
@@ -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);