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

Call modifying init! in solve!
JuliaReach · Mar 10, 2019 · 36fa9f4 · 36fa9f4
2 parents 1b41551 + b4bce55
commit 36fa9f4
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/ReachSets/ReachSets.jl b/src/ReachSets/ReachSets.jl
@@ -86,7 +86,7 @@ include("DiscretePost/DiscretePost.jl")
 export PostOperator,
        ContinuousPost,
        DiscretePost,
-       init,
+       init, init!,
        post,
        tube⋂inv!
 

diff --git a/src/solve.jl b/src/solve.jl
@@ -63,7 +63,7 @@ function solve!(system::InitialValueProblem{<:Union{AbstractContinuousSystem,
                 invariant::Union{LazySet, Nothing}=nothing
                )::AbstractSolution
     system = normalize(system)
-    options = init(op, system, options_input)
+    options = init!(op, system, options_input)
 
     # coordinate transformation
     if options[:coordinate_transformation] != ""
@@ -115,7 +115,7 @@ function solve!(system::InitialValueProblem{<:HybridSystem,
 
     HS = system.s
     init_sets = system.x0
-    options = init(opD, HS, options_input)
+    options = init!(opD, HS, options_input)
     time_horizon = options[:T]
     max_jumps = options[:max_jumps]
     inout_map = nothing