add compat, remove domains stuff now in Symbolics.jl

Author: valentinsulzer

Project.toml

@@ -51,6 +51,7 @@ DiffEqJump = "6.7.5"
 DiffRules = "0.1, 1.0"
 Distributions = "0.23, 0.24, 0.25"
 DocStringExtensions = "0.7, 0.8"
+DomainSets = "0.5"
 IfElse = "0.1"
 JuliaFormatter = "0.12, 0.13"
 LabelledArrays = "1.3"

src/domains.jl

@@ -1,11 +1,4 @@
-using DomainSets
-struct VarDomainPairing
-  variables
-  domain::Domain
-end
-Base.:∈(variable::ModelingToolkit.Num,domain::Domain) = VarDomainPairing(value(variable),domain)
-Base.:∈(variable::ModelingToolkit.Num,domain::Interval) = VarDomainPairing(value(variable),domain)
-Base.:∈(variables::NTuple{N,ModelingToolkit.Num},domain::Domain) where N = VarDomainPairing(value.(variables),domain)
+import DomainSets: Interval, Ball
 
 @deprecate IntervalDomain(a,b) Interval(a,b)
 @deprecate CircleDomain() Ball()

test/domains.jl

@@ -18,7 +18,6 @@ using SafeTestsets, Test
 @safetestset "ReactionSystem Test" begin include("reactionsystem_components.jl") end
 @safetestset "JumpSystem Test" begin include("jumpsystem.jl") end
 @safetestset "ControlSystem Test" begin include("controlsystem.jl") end
-@safetestset "Domain Test" begin include("domains.jl") end
 @safetestset "Modelingtoolkitize Test" begin include("modelingtoolkitize.jl") end
 @safetestset "Constraints Test" begin include("constraints.jl") end
 @safetestset "Reduction Test" begin include("reduction.jl") end