Merge pull request #100 from JuliaReach/schillic/using

Collect `using`s and avoid `using` packages
JuliaReach · Jun 2, 2024 · b9523e5 · b9523e5
2 parents 021b489 + c52bdf2
commit b9523e5
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 4 deletions.
diff --git a/src/SpaceExParser.jl b/src/SpaceExParser.jl
@@ -6,8 +6,22 @@ export readsxmodel, writesxmodel
 Load dependencies
 =========================================#
 
+using HybridSystems, LazySets
 using DataStructures: OrderedDict
-using EzXML, HybridSystems, LazySets, MathematicalSystems, SymEngine
+import MathematicalSystems
+using MathematicalSystems: AbstractSystem, AbstractContinuousSystem,
+                           LinearContinuousSystem, LinearControlContinuousSystem,
+                           AffineContinuousSystem,
+                           AffineControlContinuousSystem,
+                           ConstrainedLinearContinuousSystem,
+                           ConstrainedLinearControlContinuousSystem,
+                           ConstrainedLinearControlDiscreteSystem,
+                           ConstrainedAffineContinuousSystem,
+                           ConstrainedAffineControlContinuousSystem
+using EzXML: readxml, root, eachelement, nodename, nodecontent
+using SymEngine: Basic, subs
+import Base: convert
+import SymEngine: convert, free_symbols
 
 #=========================
 Input/Output functions

diff --git a/src/convert.jl b/src/convert.jl
@@ -1,6 +1,3 @@
-import Base: convert
-import SymEngine: convert, free_symbols
-
 """
    is_linearcombination(L::Basic)