String endung = eas.startSetup.marbBuilder.ConstantsGraphVis.GRAPH_ENDUNG;
String[] gespGr = verz.list(new FileNamePostfixFilter(endung));
ArrayList<Integer> a;
Iterator<Integer> it2;
int anzahl = 0;
RobEA aktRob;
Knoten l;
int gesAnz = 0;
String[] verzPar = {"verz", verzeichnis};
ParCollection params = GlobalVariables.getPrematureParameters();
params.overwriteParameterList(verzPar);
if (positiv) {
System.out.println("Positive Automaten:");
} else {
System.out.println("Negative Automaten:");
}
for (int i = 0; i < gespGr.length; i++) {
System.gc();
if ((!positiv
&& (gespGr[i].contains("-")
|| gespGr[i].contains("_0")))
|| positiv
&& !(gespGr[i].contains("-")
|| gespGr[i].contains("_0"))) {
gesAnz++;
aktRob = new VisMantel(
gespGr[i].substring(0, gespGr[i].length() - 4),
null,
null,
null,
null,
-1,
params,
false,
null).getRob();
a = aktRob.vAuts()[0].getKnList();
it2 = a.iterator();
while (it2.hasNext()) {
l = aktRob.vAuts()[0].holeKnoten(it2.next());
if (l.getInfo().getAktion()
== bef) {
if (!erreichbar
|| aktRob.vAuts()[0].erreichbar(l.holeName())) {
anzahl++;
System.out.println(anzahl
+ "/"
+ gesAnz
+ " "