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

Update ExperimentsRandomTestsFixedSystemFixedAcceptanceRatioVarTestSize.java

parent 42bc5a27
Branches
No related tags found
No related merge requests found
...@@ -25,10 +25,12 @@ import net.automatalib.word.Word; ...@@ -25,10 +25,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 ExperimentsRandomTestsFixedSystemFixedAcceptanceRatioVarTestSize { public class ExperimentsRandomTestsFixedSystemFixedAcceptanceRatioVarTestSize {
...@@ -202,6 +204,7 @@ public class ExperimentsRandomTestsFixedSystemFixedAcceptanceRatioVarTestSize { ...@@ -202,6 +204,7 @@ public class ExperimentsRandomTestsFixedSystemFixedAcceptanceRatioVarTestSize {
XYChart chart5 = QuickChart.getChart("n=100,k=5,AcceptanceRatio=0.1", "Test Size", "Accuracy", seriesNames, xValues, new double[][]{accuracyLstar, accuracyRS, accuracyKV, accuracyOP, accuracyTTT}); XYChart chart5 = QuickChart.getChart("n=100,k=5,AcceptanceRatio=0.1", "Test Size", "Accuracy", seriesNames, xValues, new double[][]{accuracyLstar, accuracyRS, accuracyKV, accuracyOP, accuracyTTT});
new SwingWrapper(chart5).displayChart(); new SwingWrapper(chart5).displayChart();
printXYChartPairs(chart5);
} }
...@@ -294,6 +297,31 @@ public class ExperimentsRandomTestsFixedSystemFixedAcceptanceRatioVarTestSize { ...@@ -294,6 +297,31 @@ public class ExperimentsRandomTestsFixedSystemFixedAcceptanceRatioVarTestSize {
if((counterexample = controle.findCounterExample(learner.getHypothesisModel(), alphabet)) == null){return 1;} if((counterexample = controle.findCounterExample(learner.getHypothesisModel(), alphabet)) == null){return 1;}
return 0; return 0;
} }
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