class SuperstepKickoffLatch {

	public void triggerNextSuperstep() {
		synchronized (monitor) {
			if (terminated) {
				throw new IllegalStateException("Already terminated.");
			}
			superstepNumber++;
			monitor.notifyAll();
		}
	}

}