Merge branch 'main' of github.com:Zinoex/IMDP.jl

Zinoex · Jan 5, 2024 · 8ba27e6 · 8ba27e6
2 parents 50ac21a + 2747b3e
commit 8ba27e6
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 20 deletions.
diff --git a/benchmark/imdp/execute.jl b/benchmark/imdp/execute.jl
@@ -1,5 +1,5 @@
 using Revise, BenchmarkTools
 using IMDP, CUDA
 
-V_conv, _, u = interval_value_iteration(prob; maximize = true, upper_bound = false)
-display(@benchmark interval_value_iteration(prob; maximize = true, upper_bound = false))
+V_conv, _, u = value_iteration(prob)
+display(@benchmark value_iteration(prob))
diff --git a/src/interval_probabilities.jl b/src/interval_probabilities.jl
@@ -157,21 +157,3 @@ function interval_prob_hcat(
 
     return IntervalProbabilities(l, g, sl), stateptr
 end
-
-function interval_prob_hcat(
-    T,
-    transition_probs::Vector{<:IntervalProbabilities{R, VR, MR}},
-) where {R, VR, MR <: SparseArrays.AbstractSparseMatrixCSC{R}}
-    l = map(lower, transition_probs)
-    l = hcat(l...)
-
-    g = map(gap, transition_probs)
-    g = hcat(g...)
-
-    sl = mapreduce(sum_lower, vcat, transition_probs)
-
-    lengths = map(num_source, transition_probs)
-    stateptr = T[1; cumsum(lengths) .+ 1]
-
-    return IntervalProbabilities(l, g, sl), stateptr
-end