Merge pull request #280 from JuliaReach/mforets-patch-1

Update waiting_list.jl
JuliaReach · Jul 14, 2020 · cf25124 · cf25124
2 parents 9ad93d9 + 0e4f81e
commit cf25124
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/src/Flowpipes/setops.jl b/src/Flowpipes/setops.jl
@@ -857,6 +857,7 @@ end
 TemplateHullIntersection() = TemplateHullIntersection{Float64, Vector{Float64}}()
 
 setrep(::TemplateHullIntersection{N, VN}) where {N, VN} = HPolytope{N, VN}
+setrep(::TemplateHullIntersection{N, SEV}) where {N, SEV<:SingleEntryVector{N}} = Union{HPolytope{N, SEV}, HPolytope{N, Vector{N}}}
 
 # propagate methods from reach-set to sets
 # TODO always return ReachSets; extend to AbstractLazyReachSet; intersect time spans

diff --git a/test/setops.jl b/test/setops.jl
@@ -6,5 +6,6 @@
 
     # constructor passing the template
     td = TemplateHullIntersection(BoxDirections(2))
-    @test setrep(td) == HPolytope{Float64,LazySets.Arrays.SingleEntryVector{Float64}}
+    @test setrep(td) == Union{HPolytope{Float64,LazySets.Arrays.SingleEntryVector{Float64}},
+                              HPolytope{Float64,Vector{Float64}}}
 end