NativePolytope: Improved clean() operation on empty polytopes.

6 years ago · fab5adb275
1 changed files with 3 additions and 0 deletions
--- a/src/storm/storage/geometry/NativePolytope.cpp
+++ b/src/storm/storage/geometry/NativePolytope.cpp
@ -400,6 +400,9 @@ namespace storm {
            
            template <typename ValueType>
            std::shared_ptr<Polytope<ValueType>> NativePolytope<ValueType>::clean() {
+                if (isEmpty()) {
+                    return create(boost::none, {});
+                }
                return create(boost::none, getVertices());
            }