class PipelinedRegionExecutionView {

	public void vertexFinished(final ExecutionVertexID executionVertexId) {
		assertVertexInRegion(executionVertexId);
		unfinishedVertices.remove(executionVertexId);
	}

	  PipelinedRegionExecutionView(final SchedulingPipelinedRegion pipelinedRegion);

}