Merge pull request #123 from JuliaReach/schillic/111_fix

fix variable name bug
JuliaReach · Mar 26, 2018 · 3123393 · 3123393
2 parents 49d4d4d + 35a3681
commit 3123393
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/src/Properties/check_blocks.jl b/src/Properties/check_blocks.jl
@@ -29,9 +29,9 @@ The first time index where the property is violated, and 0 if the property is sa
 @inline proj(bi::Int, n::Int) = sparse([1], [bi], ones(1), 1, n)
 @inline row(ϕpowerk::AbstractMatrix, bi::UnitRange{Int}) = ϕpowerk[bi, :]
 @inline row(ϕpowerk::AbstractMatrix, bi::Int) = ϕpowerk[[bi], :]
-@inline block(ϕpowerk_πbi::SparseMatrixCSC, bi::UnitRange{Int}) =
+@inline block(ϕpowerk_πbi::SparseMatrixCSC, bj::UnitRange{Int}) =
     ϕpowerk_πbi[:, bj]
-@inline block(ϕpowerk_πbi::SparseMatrixCSC, bi::Int) = ϕpowerk_πbi[:, [bj]]
+@inline block(ϕpowerk_πbi::SparseMatrixCSC, bj::Int) = ϕpowerk_πbi[:, [bj]]
 
 # sparse, with input
 function check_blocks!(ϕ::SparseMatrixCSC{NUM, Int},

diff --git a/src/ReachSets/reach_blocks.jl b/src/ReachSets/reach_blocks.jl
@@ -32,9 +32,9 @@ nondeterministic inputs.
 @inline proj(bi::Int, n::Int) = sparse([1], [bi], ones(1), 1, n)
 @inline row(ϕpowerk::AbstractMatrix, bi::UnitRange{Int}) = ϕpowerk[bi, :]
 @inline row(ϕpowerk::AbstractMatrix, bi::Int) = ϕpowerk[[bi], :]
-@inline block(ϕpowerk_πbi::SparseMatrixCSC, bi::UnitRange{Int}) =
+@inline block(ϕpowerk_πbi::SparseMatrixCSC, bj::UnitRange{Int}) =
     ϕpowerk_πbi[:, bj]
-@inline block(ϕpowerk_πbi::SparseMatrixCSC, bi::Int) = ϕpowerk_πbi[:, [bj]]
+@inline block(ϕpowerk_πbi::SparseMatrixCSC, bj::Int) = ϕpowerk_πbi[:, [bj]]
 
 # sparse, with input
 function reach_blocks!(ϕ::SparseMatrixCSC{NUM, Int},