adapt examples

JuliaReach · Feb 11, 2019 · 3ac7a50 · 3ac7a50
1 parent 3af5467
commit 3ac7a50
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 6 deletions.
diff --git a/test/Reachability/models/bouncing_ball.jl b/test/Reachability/models/bouncing_ball.jl
@@ -27,8 +27,7 @@ function bouncing_ball()
     guard = HPolyhedron([HalfSpace([0.0, 1.0], 0.0),   # v ≤ 0
                          HalfSpace([-1.0, 0.0], 0.0),  # x ≥ 0
                          HalfSpace([1.0, 0.0], 0.0)])  # x ≤ 0
-    t1 = ConstrainedLinearDiscreteSystem(A, guard)  # old interface
-    # t1 = ConstrainedLinearMap(A, guard)  # new interface
+    t1 = ConstrainedLinearMap(A, guard)
 
     # transition annotations
     resetmaps = [t1]

diff --git a/test/Reachability/models/thermostat.jl b/test/Reachability/models/thermostat.jl
@@ -35,14 +35,12 @@ function thermostat()
     # transition from on to off
     add_transition!(automaton, 1, 2, 1)
     guard = HalfSpace([-1.0], -21.0)  # x ≥ 21
-    t_on2off = ConstrainedLinearDiscreteSystem(hcat(1.0), guard)  # old interface
-    # t_on2off = ConstrainedIdentityMap(2, guard)  # new interface
+    t_on2off = ConstrainedIdentityMap(2, guard)
 
     # transition from off to on
     add_transition!(automaton, 2, 1, 2)
     guard = HalfSpace([1.0], 19.0)  # x ≤ 19
-    t_off2on = ConstrainedLinearDiscreteSystem(hcat(1.0), guard)  # old interface
-    # t_off2on = ConstrainedIdentityMap(2, guard)  # new interface
+    t_off2on = ConstrainedIdentityMap(2, guard)
 
     # transition annotations
     resetmaps = [t_on2off, t_off2on]