removed unused getter

This commit is contained in:
hneemann 2016-04-28 19:33:07 +02:00
parent f2f721d8d3
commit 0e97eceee5

View File

@ -38,13 +38,6 @@ public class DotCreator {
map = null; map = null;
} }
/**
* @return the list of necessary dots
*/
public ArrayList<Dot> getDots() {
return dots;
}
private void inc(Vector vector, Wire w) { private void inc(Vector vector, Wire w) {
Dot c = map.get(vector); Dot c = map.get(vector);
if (c == null) { if (c == null) {
@ -67,7 +60,7 @@ public class DotCreator {
/** /**
* A single dot * A single dot
*/ */
public static class Dot { private static class Dot {
private final Vector vector; private final Vector vector;
private final Wire w; private final Wire w;
private int counter; private int counter;