add eachindex for solutions

JuliaReach · Aug 31, 2020 · 738a8e5 · 738a8e5
1 parent d10e0b7
commit 738a8e5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/Flowpipes/solutions.jl b/src/Flowpipes/solutions.jl
@@ -100,6 +100,7 @@ Base.getindex(sol::ReachSolution, I::AbstractVector) = getindex(sol.F, I)
 
 # indexing: fp[j, i] returning the j-th reach-set of the i-th flowpipe
 Base.getindex(sol::ReachSolution, I::Int...) = getindex(sol.F, I...)
+Base.eachindex(sol::ReachSolution) = eachindex(sol.F)
 
 # evaluation interface
 Base.getindex(sol::ReachSolution, t::Float64) = getindex(sol.F, t)