concrete intersection for AbstractSingleton

JuliaReach · Jan 17, 2019 · 0ce2a41 · 0ce2a41
1 parent a5c6791
commit 0ce2a41
Show file tree

Hide file tree

Showing 4 changed files with 104 additions and 26 deletions.
diff --git a/docs/src/lib/binary_functions.md b/docs/src/lib/binary_functions.md
@@ -44,6 +44,7 @@ convex_hull(::VPolygon{N}, ::VPolygon{N}) where {N<:Real}
 ## Intersection of two sets
 
 ```@docs
+intersection(::AbstractSingleton{N}, ::Union{LazySet{N}, UnionSet{N}, UnionSetArray{N}}) where {N<:Real}
 intersection(::Line{N}, ::Line{N}) where {N<:Real}
 intersection(::AbstractHyperrectangle{N}, ::AbstractHyperrectangle{N}) where {N<:Real}
 intersection(::Interval{N}, ::Interval{N}) where {N<:Real}