do not use option :N anymore

JuliaReach · Feb 17, 2019 · ff2f47a · ff2f47a
1 parent b3ff500
commit ff2f47a
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 6 deletions.
diff --git a/src/ReachSets/ContinuousPost/BFFPSV18/check_property.jl b/src/ReachSets/ContinuousPost/BFFPSV18/check_property.jl
@@ -38,7 +38,7 @@ function check_property(S::IVP{<:AbstractDiscreteSystem},
     dir = interpret_template_direction_symbol(
         options[:template_directions_init])
     block_sizes = compute_block_sizes(partition)
-    N = options[:N]
+    N = ceil(Int, options[:T] / options[:δ])
     ε_init = options[:ε_init]
     set_type_init = options[:set_type_init]
     set_type_iter = options[:set_type_iter]

diff --git a/src/ReachSets/ContinuousPost/BFFPSV18/reach.jl b/src/ReachSets/ContinuousPost/BFFPSV18/reach.jl
@@ -51,7 +51,7 @@ function reach(S::Union{IVP{<:LDS{NUM}, <:LazySet{NUM}},
     dir = interpret_template_direction_symbol(
         options[:template_directions_init])
     block_sizes = compute_block_sizes(partition)
-    N = options[:N]
+    N = ceil(Int, options[:T] / options[:δ])
     ε_init = options[:ε_init]
     set_type_init = options[:set_type_init]
     ε_iter = options[:ε_iter]

diff --git a/src/solve.jl b/src/solve.jl
@@ -135,7 +135,6 @@ function solve!(system::InitialValueProblem{<:HybridSystem,
 
     HS = system.s
     init_sets = system.x0
-    delete_N = !haskey(options_input, :N)
     options = init(opD, HS, options_input)
     time_horizon = options[:T]
     max_jumps = options[:max_jumps]
@@ -180,9 +179,6 @@ function solve!(system::InitialValueProblem{<:HybridSystem,
         options_copy.dict[:T] = time_horizon - X0.t_start
         options_copy.dict[:project_reachset] = false
         delete!(options_copy.dict, :inout_map)
-        if delete_N # TODO add more conditions or fix option clashes in general
-            delete!(options_copy.dict, :N)
-        end
         if haskey(options_copy, :block_types) &&
                 options_copy.dict[:block_types] == nothing
             delete!(options_copy.dict, :block_types)