fix in Paretocurve plotting

moves-rwth · Jan 14, 2025 · 196d7aa · 196d7aa
1 parent 2d493b1
commit 196d7aa
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lib/stormpy/utility/multiobjective_plotting.py b/lib/stormpy/utility/multiobjective_plotting.py
@@ -45,9 +45,9 @@ def direction_as_operation(dir: stormpy.OptimizationDirection):
     origin_y = min(lower_corner[1], upper_corner[1]) if directions[1] == stormpy.OptimizationDirection.Maximize else max(lower_corner[1], upper_corner[1])
     origin = np.array([[origin_x, origin_y]])
     x_cut_x = direction_as_operation(directions[0])([p[0] for p in points])
-    x_cut = np.array([[x_cut_x, 0]])
+    x_cut = np.array([[x_cut_x, origin_y]])
     y_cut_y = direction_as_operation(directions[1])([p[1] for p in points])
-    y_cut = np.array([[0, y_cut_y]])
+    y_cut = np.array([[origin_x, y_cut_y]])
 
     points = np.concatenate((np.array(points), origin, x_cut, y_cut), axis=0)
     return points