equal
deleted
inserted
replaced
55 System.exit(0); |
55 System.exit(0); |
56 } |
56 } |
57 |
57 |
58 String[][][] modeHeuristics = new String[][][] { |
58 String[][][] modeHeuristics = new String[][][] { |
59 {{"normal"}, {"adaptive", "compact", "static", "aggressive"}}, |
59 {{"normal"}, {"adaptive", "compact", "static", "aggressive"}}, |
60 {{"traversal"}, {"adaptive"}}, |
60 {{"traversal"}, {"adaptive", "aggressive"}}, |
61 {{"passive"}, {"passive"}} |
61 {{"passive"}, {"passive"}} |
62 }; |
62 }; |
63 |
63 |
64 for (String[][] mh : modeHeuristics) { |
64 for (String[][] mh : modeHeuristics) { |
65 String mode = mh[0][0]; |
65 String mode = mh[0][0]; |