rename pirating (and unused) method

JuliaReach · Jul 24, 2024 · 03c5793 · 03c5793
1 parent 9d429a9
commit 03c5793
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 5 deletions.
diff --git a/src/Initialization/init_SymEngine.jl b/src/Initialization/init_SymEngine.jl
@@ -69,7 +69,8 @@ julia> free_symbols(:(x1 + x2 <= 2*x4 + 6), HalfSpace)
 """
 function free_symbols(::Expr, ::Type{<:LazySet}) end  # COV_EXCL_LINE
 
-function free_symbols(expr::Expr)
+# Note: this convenience function is not used anywhere
+function _free_symbols(expr::Expr)
     if _is_hyperplane(expr)
         return free_symbols(expr, Hyperplane)
     elseif _is_halfspace(expr)

diff --git a/test/Interfaces/SymEngine.jl b/test/Interfaces/SymEngine.jl
@@ -4,7 +4,7 @@
 @test !LazySets._is_linearcombination(:(2*x1^2))
 @test !LazySets._is_linearcombination(:(x1^2 - 4*x2 + x3 + 2))
 
-# free_symbols
-@test LazySets.free_symbols(:(x1 = 1)) == [SymEngine.Basic(:(x1))]
-@test LazySets.free_symbols(:(2*x2 <= 4)) == [SymEngine.Basic(:(x2))]
-@test_throws ErrorException LazySets.free_symbols(:(x3 != 4))
+# _free_symbols
+@test LazySets._free_symbols(:(x1 = 1)) == [SymEngine.Basic(:(x1))]
+@test LazySets._free_symbols(:(2*x2 <= 4)) == [SymEngine.Basic(:(x2))]
+@test_throws ErrorException LazySets._free_symbols(:(x3 != 4))