From 738a8e560dc734f225df94b7a94cef25f60f8012 Mon Sep 17 00:00:00 2001
From: mforets <mforets@gmail.com>
Date: Mon, 31 Aug 2020 16:27:32 -0300
Subject: [PATCH] add eachindex for solutions

---
 src/Flowpipes/solutions.jl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Flowpipes/solutions.jl b/src/Flowpipes/solutions.jl
index cb1c5b6fd1..8d21f9b2a9 100644
--- 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)