Searched refs:directionVector (Results 1 – 1 of 1) sorted by relevance
2874 int[] directionVector = new int[]{0, -1}; in makeSpaceForHotseatMigration() local2878 directionVector, null, false, configuration).isSolution) { in makeSpaceForHotseatMigration()