boolean detectionEnabled = !avoidanceEnabled;
for (EdgeBufferConfiguration eConf : getBufferConf()) {
DetectionConfiguration dConf = new DetectionConfiguration(
detectionEnabled, 0, 1);
JGraphTSolver detector = new JGraphTSolver();
FatalDeadlockResolver resolver = new FatalDeadlockResolver();
MainConfiguration conf = new MainConfiguration(dConf, eConf,
avoidanceEnabled, detector, resolver, graph, false);
result.add(conf);
}
}