Method getNodeNotLeaders

ZezeJava/ZezeJava/src/main/java/Zeze/Raft/Test.java:554–561

()

	}

	private ArrayList<TestRaft> getNodeNotLeaders() {
		var NotLeader = new ArrayList<TestRaft>();
		for (var raft : rafts.values()) {
			if (!raft.raft.isLeader())
				NotLeader.add(raft);
		}
		return NotLeader;
	}

	private TestRaft[] shuffleRafts() {
		return Random.shuffle(rafts.values().toArray(new TestRaft[rafts.size()]));