Skip to content
Snippets Groups Projects
Commit 48c4d7f5 authored by Muhammad Raufu Miah's avatar Muhammad Raufu Miah
Browse files

Update ExperimentsMinimalCounterExampleLength.java

parent 787f83e3
No related branches found
No related tags found
No related merge requests found
...@@ -24,11 +24,13 @@ import net.automatalib.word.Word; ...@@ -24,11 +24,13 @@ import net.automatalib.word.Word;
import org.knowm.xchart.QuickChart; import org.knowm.xchart.QuickChart;
import org.knowm.xchart.SwingWrapper; import org.knowm.xchart.SwingWrapper;
import org.knowm.xchart.XYChart; import org.knowm.xchart.XYChart;
import org.knowm.xchart.XYSeries;
import java.util.ArrayList; import java.util.ArrayList;
import java.util.Arrays; import java.util.Arrays;
import java.util.List; import java.util.List;
import java.util.Random; import java.util.Random;
import java.util.stream.Collectors;
public class ExperimentsMinimalCounterExampleLength { public class ExperimentsMinimalCounterExampleLength {
...@@ -184,6 +186,9 @@ public class ExperimentsMinimalCounterExampleLength { ...@@ -184,6 +186,9 @@ public class ExperimentsMinimalCounterExampleLength {
// Create the second XY chart (equivalence queries) // Create the second XY chart (equivalence queries)
XYChart chart2 = QuickChart.getChart("Average Equivalence Queries", "Minimal Counterexamplelength", "Queries", seriesNames, minimal_counterexample_length_double, new double[][]{avgEqQueriesLstar, avgEqQueriesRS,avgEqQueriesKV, avgEqQueriesOP, avgEqQueriesTTT}); XYChart chart2 = QuickChart.getChart("Average Equivalence Queries", "Minimal Counterexamplelength", "Queries", seriesNames, minimal_counterexample_length_double, new double[][]{avgEqQueriesLstar, avgEqQueriesRS,avgEqQueriesKV, avgEqQueriesOP, avgEqQueriesTTT});
new SwingWrapper(chart2).displayChart(); new SwingWrapper(chart2).displayChart();
printXYChartPairs(chart1);
printXYChartPairs(chart2);
} }
// Define the learning methods // Define the learning methods
...@@ -418,4 +423,31 @@ public class ExperimentsMinimalCounterExampleLength { ...@@ -418,4 +423,31 @@ public class ExperimentsMinimalCounterExampleLength {
} }
} }
public static void printXYChartPairs(XYChart chart) {
// Get all series in the chart
System.out.println("Chart: " + chart.getTitle());
List<XYSeries> seriesList = chart.getSeriesMap().values().stream().collect(Collectors.toList());
// Iterate over each series
for (XYSeries series : seriesList) {
System.out.println("Series: " + series.getName());
// Get x and y data
double[] xData = series.getXData();
double[] yData = series.getYData();
// Ensure x and y data are of the same size
if (xData.length != yData.length) {
System.out.println("Mismatch in data size for series: " + series.getName());
continue;
}
// Print (x, y) pairs
for (int i = 0; i < xData.length; i++) {
System.out.println("(" + xData[i] + ", " + yData[i] + ")");
}
}
}
} }
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment