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

Update ExperimentsAcceptanceRatio.java

parent 9492f270
No related branches found
No related tags found
No related merge requests found
...@@ -24,10 +24,12 @@ import net.automatalib.word.Word; ...@@ -24,10 +24,12 @@ 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.List; import java.util.List;
import java.util.Random; import java.util.Random;
import java.util.stream.Collectors;
public class ExperimentsAcceptanceRatio { public class ExperimentsAcceptanceRatio {
...@@ -169,6 +171,10 @@ public class ExperimentsAcceptanceRatio { ...@@ -169,6 +171,10 @@ public class ExperimentsAcceptanceRatio {
// Create the second XY chart (equivalence queries) // Create the second XY chart (equivalence queries)
XYChart chart2 = QuickChart.getChart("Average Equivalence Queries", "Acceptance Ratio", "Queries", seriesNames, xValues, new double[][]{avgEqQueriesLstar, avgEqQueriesRS,avgEqQueriesKV, avgEqQueriesOP, avgEqQueriesTTT}); XYChart chart2 = QuickChart.getChart("Average Equivalence Queries", "Acceptance Ratio", "Queries", seriesNames, xValues, 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
...@@ -251,5 +257,30 @@ public class ExperimentsAcceptanceRatio { ...@@ -251,5 +257,30 @@ public class ExperimentsAcceptanceRatio {
learner.refineHypothesis(counterexample); learner.refineHypothesis(counterexample);
} }
} }
public static void printXYChartPairs(XYChart chart) {
System.out.println("Chart: " + chart.getTitle());
// Get all series in the chart
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