Merge pull request #458 from JuliaReach/schillic/441

#441 - Support for reset assignments
JuliaReach · Feb 15, 2019 · 33467e6 · 33467e6
2 parents e7802be + 3530e70
commit 33467e6
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/src/ReachSets/DiscretePost/DiscretePost.jl b/src/ReachSets/DiscretePost/DiscretePost.jl
@@ -116,9 +116,18 @@ end
 
 # --- default methods for handling assignments ---
 
+# default implementation: use 'apply' from MathematicalSystems
 function apply_assignment(𝒫::DiscretePost,
                           constrained_map::AbstractMap,
                           R⋂G::LazySet;
                           kwargs...)
     return apply(constrained_map, R⋂G)
 end
+
+# for reset maps: return a lazy ResetMap from LazySets
+function apply_assignment(𝒫::DiscretePost,
+                          constrained_map::ConstrainedResetMap,
+                          R⋂G::LazySet;
+                          kwargs...)
+    return LazySets.ResetMap(R⋂G, constrained_map.dict)
+end