Merge pull request #3131 from JuliaReach/schillic/isstrictsubset

Revise isstrictsubset code and generalize to LazySet
JuliaReach · Oct 17, 2022 · 93aa7bc · 93aa7bc
2 parents f4e5a5f + f067bea
commit 93aa7bc
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/ConcreteOperations/isstrictsubset.jl b/src/ConcreteOperations/isstrictsubset.jl
@@ -1,7 +1,7 @@
 """
-    ⊂(X::ConvexSet{N}, Y::ConvexSet, [witness]::Bool=false) where {N}
+    ⊂(X::LazySet{N}, Y::LazySet, [witness]::Bool=false) where {N}
 
-Strict inclusion check.
+Strict inclusion check of a set in another set.
 
 ### Input
 
@@ -24,7 +24,7 @@ We check inclusion of `X` in `Y` and then check inclusion of `Y` in `X`:
 X ⊂ Y \\Leftrightarrow X ⊆ Y \\land ¬ (Y ⊆ X)
 ```
 """
-function ⊂(X::ConvexSet{N}, Y::ConvexSet, witness::Bool=false) where {N}
+function ⊂(X::LazySet{N}, Y::LazySet, witness::Bool=false) where {N}
     if witness
         res, w = ⊆(X, Y, witness)
         if res