Merge pull request #306 from JuliaReach/schillic/getters

Add all system getters to IVP
JuliaReach · Aug 1, 2024 · 1d4bed8 · 1d4bed8
2 parents 8b894ac + c15ee75
commit 1d4bed8
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 1 deletion.
diff --git a/docs/src/lib/methods.md b/docs/src/lib/methods.md
@@ -49,8 +49,8 @@ outputmap
 islinear(::AbstractSystem)
 islinear(::AbstractMap)
 isaffine(::AbstractSystem)
-ispolynomial(::AbstractSystem)
 isaffine(::AbstractMap)
+ispolynomial(::AbstractSystem)
 isblackbox(::AbstractSystem)
 isnoisy(::AbstractSystem)
 iscontrolled(::AbstractSystem)

diff --git a/src/ivp.jl b/src/ivp.jl
@@ -46,10 +46,15 @@ noiseset(ivp::InitialValueProblem) = noiseset(ivp.s)
 islinear(ivp::InitialValueProblem) = islinear(ivp.s)
 isaffine(ivp::InitialValueProblem) = isaffine(ivp.s)
 ispolynomial(ivp::InitialValueProblem) = ispolynomial(ivp.s)
+isblackbox(ivp::InitialValueProblem) = isblackbox(ivp.s)
+isnoisy(ivp::InitialValueProblem) = isnoisy(ivp.s)
+iscontrolled(ivp::InitialValueProblem) = iscontrolled(ivp.s)
+isconstrained(ivp::InitialValueProblem) = isconstrained(ivp.s)
 state_matrix(ivp::InitialValueProblem) = state_matrix(ivp.s)
 input_matrix(ivp::InitialValueProblem) = input_matrix(ivp.s)
 noise_matrix(ivp::InitialValueProblem) = noise_matrix(ivp.s)
 affine_term(ivp::InitialValueProblem) = affine_term(ivp.s)
+mapping(ivp::InitialValueProblem) = mapping(ivp.s)
 
 """
     initial_state(ivp::InitialValueProblem)

diff --git a/test/ivp.jl b/test/ivp.jl
@@ -22,5 +22,13 @@
     @test !islinear(P)
     @test isaffine(P)
     @test !ispolynomial(P)
+    @test !isblackbox(P)
+    @test isnoisy(P)
+    @test iscontrolled(P)
+    @test isconstrained(P)
     @test affine_term(P) == c
+
+    f() = 1
+    P = BlackBoxDiscreteSystem(f, 1)
+    @test mapping(P) == f
 end