[DEV] Add functions to remove redundant cuts

Author: frapac

src/utils.jl

@@ -73,6 +73,29 @@ function read_polyhedral_functions(dump::AbstractString)
 end
 
 
+"""
+Remove redundant cuts in Polyhedral Value functions
+
+"""
+function remove_cuts(V::PolyhedralFunction)
+    Vf = hcat(V.lambdas, V.be   tas)
+    Vf = unique(Vf, 1)
+    return PolyhedralFunction(Vf[:, end], Vf[:, 1:end-1], size(Vf)[1])
+end
+
+
+"""
+Remove redundant cuts in a vector of Polyhedral Functions.
+
+"""
+function remove_redundant_cuts!(Vts::Vector{PolyhedralFunction})
+    n_funct ions = length(Vts)
+    for i in 1:n_functions
+        Vts[i] = remove_cuts(Vts[i])
+    end
+end
+
+
 """
 Extract a vector stored in a 3D Array