JuliaReach / LazySets.jl

Scalable symbolic-numeric set computations in Julia
https://juliareach.github.io/LazySets.jl/
Other
226 stars 32 forks source link

Remove redundant `_vertices_list` methods #3616

Closed schillic closed 1 month ago

schillic commented 1 month ago

These _vertices_list methods were added in #1495. The purpose was to selectively pass the backend argument, to be ignored by some subtypes of AbstractPolytope. Now this method is only available for VPolytope; hence, one can directly call vertices_list and these helper methods are redundant.