use AbstractVector instead of Vector

JuliaReach · Aug 14, 2019 · cbc556a · cbc556a
1 parent 57dccd5
commit cbc556a
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/src/Properties/BadStatesProperty.jl b/src/Properties/BadStatesProperty.jl
@@ -71,7 +71,7 @@ Let ``Y`` be the bad states represented by 𝑃.
     return isdisjoint(X, 𝑃.bad, witness)
 end
 
-@inline function project(𝑃::BadStatesProperty, vars::Vector{Int})
+@inline function project(𝑃::BadStatesProperty, vars::AbstractVector{Int})
     proj = project(𝑃.bad, vars)
     return BadStatesProperty(proj)
 end
diff --git a/src/Properties/Conjunction.jl b/src/Properties/Conjunction.jl
@@ -76,6 +76,6 @@ function check(𝑃::Conjunction, X::LazySet{N};
     return witness ? (true, N[]) : true
 end
 
-function project(𝑃::Conjunction, vars::Vector{Int})
+@inline function project(𝑃::Conjunction, vars::AbstractVector{Int})
     return Conjunction([project(conjunct, vars) for conjunct in 𝑃.conjuncts])
 end
diff --git a/src/Properties/Disjunction.jl b/src/Properties/Disjunction.jl
@@ -115,6 +115,6 @@ function _reorder!(𝑃::Disjunction, i::Int)
     return nothing
 end
 
-function project(𝑃::Disjunction, vars::Vector{Int})
+@inline function project(𝑃::Disjunction, vars::AbstractVector{Int})
     return Disjunction([project(disjunct, vars) for disjunct in 𝑃.disjuncts])
 end
diff --git a/src/Properties/SafeStatesProperty.jl b/src/Properties/SafeStatesProperty.jl
@@ -71,7 +71,7 @@ Let ``Y`` be the safe states represented by 𝑃.
     return ⊆(X, 𝑃.safe, witness)
 end
 
-@inline function project(𝑃::SafeStatesProperty, vars::Vector{Int})
+@inline function project(𝑃::SafeStatesProperty, vars::AbstractVector{Int})
     proj = project(𝑃.safe, vars)
     return SafeStatesProperty(proj)
 end