Replace CenteredPolyhedron by Polyhedra

dionysos-dev · Sep 18, 2020 · b3722cc · b3722cc
1 parent 23233c6
commit b3722cc
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 19 deletions.
diff --git a/src/abstraction.jl b/src/abstraction.jl
@@ -18,7 +18,6 @@ end
 
 include("sorted_vector_set.jl")
 include("rectangle.jl")
-include("polyhedron.jl")
 include("grid.jl")
 include("domain.jl")
 include("controlsystem.jl")

diff --git a/src/polyhedron.jl b/src/polyhedron.jl
diff --git a/src/symbolicmodel.jl b/src/symbolicmodel.jl
@@ -1,3 +1,4 @@
+import Polyhedra
 abstract type SymbolicModel{N,M} end
 
 struct SymbolicModelList{N,M,S1<:Domain{N},S2<:Domain{M},A<:Automaton} <: SymbolicModel{N,M}
@@ -157,7 +158,7 @@ function compute_symmodel_from_controlsystem!(symmodel::SymbolicModel{N},
             Fx, DFx = contsys.linsys_map(x, _H_, u, tstep)
             A = inv(DFx)
             b = abs.(A)*Fr .+ 1.0
-            HP = CenteredPolyhedron(A, b)
+            HP = Polyhedra.hrep(A, b)
             # TODO: can we improve abs.(DFx)*_ONE_?
             rad = contsys.measnoise + abs.(DFx)*_ONE_ .+ Fe
             rectI = get_pos_lims_outer(Xdom.grid, HyperRectangle(Fx - rad, Fx + rad))