diff --git a/prism/src/userinterface/graph/GraphResultListener.java b/prism/src/userinterface/graph/GraphResultListener.java index 11913065..e60aa1af 100644 --- a/prism/src/userinterface/graph/GraphResultListener.java +++ b/prism/src/userinterface/graph/GraphResultListener.java @@ -87,6 +87,11 @@ public class GraphResultListener implements ResultListener if (x == Double.POSITIVE_INFINITY || x == Double.NEGATIVE_INFINITY || x != x) return; + // For now, to plot intervals, just pick lower value + if (result instanceof Interval) { + result = ((Interval) result).lower; + } + // Get y coordinate if(result instanceof Integer) { y = ((Integer)result).intValue(); diff --git a/prism/src/userinterface/properties/GUIGraphPicker.java b/prism/src/userinterface/properties/GUIGraphPicker.java index b6bcab93..016c3aa3 100644 --- a/prism/src/userinterface/properties/GUIGraphPicker.java +++ b/prism/src/userinterface/properties/GUIGraphPicker.java @@ -176,6 +176,11 @@ public class GUIGraphPicker extends javax.swing.JDialog else { validX = false; } + // For now, to plot intervals, just pick lower value + if (result instanceof Interval) { + result = ((Interval) result).lower; + } + if(result instanceof Double) { y = ((Double)result).doubleValue(); } else if (value instanceof Integer)