Merge pull request #312 from JuliaReach/bl/exact

Change :exact to ExactDiscretization in discretize
JuliaReach · Nov 8, 2024 · 0941cde · 0941cde
2 parents 6dc936c + f766b57
commit 0941cde
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/src/discretize.jl b/src/discretize.jl
@@ -194,16 +194,17 @@ function _discretize(::EulerDiscretization, ΔT::Real,
 end
 
 """
-    _discretize(A::AbstractMatrix, ΔT::Real; algorithm=:exact)
+    _discretize(algorithm::AbstractDiscretizationAlgorithm, ΔT::Real,
+                A::AbstractMatrix)
 
 Discretize the state matrix `A` with sampling time `ΔT` and discretization method
 `algorithm`.
 
 ### Input
 
-- `A`         -- state matrix
+- `algorithm` -- discretization algorithm
 - `ΔT`        -- sampling time
-- `algorithm` -- (optional, default: `:exact`) discretization algorithm
+- `A`         -- state matrix
 
 ### Output