add isdisjoint for Complement

JuliaReach · Mar 6, 2019 · 42e00cf · 42e00cf
1 parent 8708557
commit 42e00cf
Show file tree

Hide file tree

Showing 4 changed files with 115 additions and 49 deletions.
diff --git a/docs/src/lib/binary_functions.md b/docs/src/lib/binary_functions.md
@@ -34,6 +34,7 @@ is_intersection_empty(::Union{HPolyhedron{N}, AbstractPolytope{N}}, ::Union{HPol
 is_intersection_empty(::UnionSet{N}, ::LazySet{N}, ::Bool=false) where {N<:Real}
 is_intersection_empty(::UnionSetArray{N}, ::LazySet{N}, ::Bool=false) where {N<:Real}
 is_intersection_empty(::Universe{N}, ::LazySet{N}, ::Bool=false) where {N<:Real}
+is_intersection_empty(::Complement{N}, ::LazySet{N}, ::Bool=false) where {N<:Real}
 ```
 
 ## Convex hull