docs

JuliaReach · Oct 14, 2018 · d5cdefb · d5cdefb
1 parent af30c2c
commit d5cdefb
Showing 1 changed file with 14 additions and 2 deletions.
diff --git a/docs/src/lib/operations.md b/docs/src/lib/operations.md
@@ -101,10 +101,16 @@ monotone_chain!
 Intersection
 ∩(::LazySet, ::LazySet)
 dim(::Intersection)
+ρ(::AbstractVector{N}, ::Intersection{N}) where {N<:Real}
+ρ(::AbstractVector{N}, ::Intersection{N, <:LazySet{N}, <:Union{HalfSpace{N}, Hyperplane{N}, Line{N}}}) where {N<:Real}
+ρ(::AbstractVector{N}, ::Intersection{N, <:LazySet{N}, <:AbstractPolytope{N}}) where {N<:Real}
+isempty(::Intersection)
 σ(::AbstractVector{Real}, ::Intersection{Real})
 ∈(::AbstractVector{Real}, ::Intersection{Real})
-isempty(::Intersection)
-ρ(::AbstractVector{N}, ::Intersection{N, <:LazySet, S}) where {N<:AbstractFloat, S<:Union{HalfSpace, Hyperplane, Line}}
+isempty_known(::Intersection)
+set_isempty!(::Intersection, ::Bool)
+_line_search
+_projection
 ```
 
 Inherited from [`LazySet`](@ref):
@@ -113,6 +119,12 @@ Inherited from [`LazySet`](@ref):
 * [`diameter`](@ref diameter(::LazySet, ::Real))
 * [`an_element`](@ref an_element(::LazySet{Real}))
 
+#### Intersection cache
+
+```@docs
+IntersectionCache
+```
+
 ### ``n``-ary Intersection
 
 ```@docs