Merge pull request #3564 from JuliaReach/schillic/Universe

Outsource `Universe` to its own module
JuliaReach · Jul 10, 2024 · f5d3391 · f5d3391
2 parents 9ee4820 + 14c8aa5
commit f5d3391
Show file tree

Hide file tree

Showing 34 changed files with 490 additions and 473 deletions.
diff --git a/docs/src/lib/sets/Universe.md b/docs/src/lib/sets/Universe.md
@@ -1,11 +1,16 @@
 ```@meta
-CurrentModule = LazySets
+CurrentModule = LazySets.UniverseModule
 ```
 
 # [Universe](@id def_Universe)
 
 ```@docs
 Universe
+```
+
+## Operations
+
+```@docs
 dim(::Universe)
 ρ(::AbstractVector, ::Universe)
 σ(::AbstractVector, ::Universe)
@@ -25,6 +30,5 @@ translate(::Universe, ::AbstractVector)
 translate!(::Universe, ::AbstractVector)
 permute(::Universe, ::AbstractVector{Int})
 complement(::Universe{N}) where {N}
-polyhedron(::Universe)
 reflect(::Universe)
 ```
diff --git a/src/Initialization/init_Polyhedra.jl b/src/Initialization/init_Polyhedra.jl
@@ -40,6 +40,5 @@ end
 eval(load_polyhedra_hpolytope())
 eval(load_polyhedra_hpolyhedron())
 eval(load_polyhedra_vpolytope())
-eval(load_polyhedra_universe())
 eval(load_polyhedra_mesh())
 eval(load_polyhedra_lazyset())
diff --git a/src/LazySets.jl b/src/LazySets.jl
@@ -93,7 +93,8 @@ include("Interfaces/AbstractBallp.jl")
 # =============================
 # Types representing basic sets
 # =============================
-include("Sets/Universe.jl")
+include("Sets/Universe/UniverseModule.jl")
+@reexport using ..UniverseModule: Universe
 
 include("Sets/EmptySet/EmptySetModule.jl")
 @reexport using ..EmptySetModule: EmptySet, ∅, _isdisjoint_emptyset