workaround for ReachSet/ReachSolution interface

JuliaReach · Sep 17, 2019 · 54843e6 · 54843e6
1 parent 6a22d96
commit 54843e6
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/solve.jl b/src/solve.jl
@@ -145,7 +145,7 @@ function solve!(system::InitialValueProblem{<:HybridSystem,
         nothing :
         Vector{Vector{AbstractReachSet{LazySet{N}}}}(undef, nstates(HS))
 
-    Rsets = Vector{AbstractReachSet{LazySet{N}}}()
+    Rsets = Vector{AbstractReachSet{<:LazySet{N}}}()
     while (!isempty(waiting_list))
         loc_id, X0, jumps = pop!(waiting_list)
         loc = HS.modes[loc_id]
@@ -228,6 +228,9 @@ function solve!(system::InitialValueProblem{<:HybridSystem,
         return CheckSolution(true, -1, options)
     end
 
+    # create vector with concrete set type (needed by ReachSolution)
+    Rsets = [rs for rs in Rsets]
+
     # Projection
     if options[:project_reachset] || options[:projection_matrix] != nothing
         info("Projection...")