From 35a36810fecbda7aefc9c15f3133816d1c905112 Mon Sep 17 00:00:00 2001 From: schillic Date: Mon, 26 Mar 2018 20:58:08 +0200 Subject: [PATCH] fix variable name bug --- src/Properties/check_blocks.jl | 4 ++-- src/ReachSets/reach_blocks.jl | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/Properties/check_blocks.jl b/src/Properties/check_blocks.jl index f08dca55..fe71ba33 100644 --- 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 index 9e0713f7..4f740b45 100644 --- 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},