feat: add check_is_continuous to relevant compatibility checks

Author: AayushSabharwal

src/problems/compatibility.jl

@@ -107,6 +107,15 @@ function check_is_discrete(sys::System, T)
     end
 end
 
+function check_is_continuous(sys::System, T)
+    altT = has_alg_equations(sys) ? ImplicitDiscreteProblem : DiscreteProblem
+    if is_discrete_system(sys)
+        throw(SystemCompatibilityError("""
+        A discrete system cannot be used to construct a `$T`. Consider a `$altT` instead.
+        """))
+    end
+end
+
 function check_is_explicit(sys::System, T, altT)
     if has_alg_equations(sys)
         throw(SystemCompatibilityError("""

src/problems/ddeproblem.jl

@@ -69,4 +69,5 @@ function check_compatible_system(T::Union{Type{DDEFunction}, Type{DDEProblem}},
     check_no_constraints(sys, T)
     check_no_jumps(sys, T)
     check_no_noise(sys, T)
+    check_is_continuous(sys, T)
 end

src/problems/odeproblem.jl

@@ -81,4 +81,5 @@ function check_compatible_system(
     check_no_constraints(sys, T)
     check_no_jumps(sys, T)
     check_no_noise(sys, T)
+    check_is_continuous(sys, T)
 end

src/problems/sddeproblem.jl

@@ -74,4 +74,5 @@ function check_compatible_system(
     check_no_constraints(sys, T)
     check_no_jumps(sys, T)
     check_has_noise(sys, T)
+    check_is_continuous(sys, T)
 end

src/problems/sdeproblem.jl

@@ -82,6 +82,7 @@ function check_compatible_system(T::Union{Type{SDEFunction}, Type{SDEProblem}},
     check_no_constraints(sys, T)
     check_no_jumps(sys, T)
     check_has_noise(sys, T)
+    check_is_continuous(sys, T)
 end
 
 function calculate_noise_and_rate_prototype(sys::System, u0; sparsenoise = false)