Merge pull request #3641 from JuliaReach/schillic/ispolyhedral

Rename function
JuliaReach · Sep 9, 2024 · 1ddf897 · 1ddf897
2 parents d832804 + cb0406f
commit 1ddf897
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Interfaces/LazySet.jl b/src/Interfaces/LazySet.jl
@@ -960,7 +960,7 @@ pair of sets ``(X, Y)`` we have the identity ``(X ∩ Y)^C = X^C ∪ Y^C``. We c
 apply this identity for each constraint that defines a polyhedral set.
 """
 function complement(X::LazySet)
-    if !is_polyhedral(X)
+    if !ispolyhedral(X)
         throw(ArgumentError("this implementation requires a polyhedral set"))
     end
     return UnionSetArray(constraints_list(Complement(X)))