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