Add copy

jump-dev · Dec 5, 2024 · c126a57 · c126a57
1 parent 114fa43
commit c126a57
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/sets.jl b/src/sets.jl
@@ -1814,6 +1814,10 @@ struct SetWithDotProducts{S,V} <: AbstractVectorSet
     vectors::Vector{V}
 end
 
+function Base.copy(s::SetWithDotProducts)
+    return SetWithDotProducts(copy(s.set), copy(s.vectors))
+end
+
 function dimension(s::SetWithDotProducts)
     return length(s.vectors) + dimension(s.set)
 end