Merge pull request #464 from JuliaReach/schillic/461

#461 - Change VPolytope constructor from VPolygon
JuliaReach · Aug 2, 2018 · 0228d49 · 0228d49
2 parents 6340070 + f2b5d85
commit 0228d49
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/src/VPolytope.jl b/src/VPolytope.jl
@@ -22,7 +22,13 @@ VPolytope{N}() where {N<:Real} = VPolytope{N}(Vector{N}(0))
 VPolytope() = VPolytope{Float64}()
 
 # constructor from a polygon in V-representation
-VPolytope(P::VPolygon) = VPolytope(vertices_list(P))
+function VPolytope(P::VPolygon, share::Bool=false)
+    v = vertices_list(P)
+    if !share
+        v = copy(v)
+    end
+    return VPolytope(v)
+end
 
 
 # --- LazySet interface functions ---