class PipelinedRegionExecutionView {

	public void vertexFinished(final ExecutionVertexID executionVertexId) {
		checkArgument(pipelinedRegion.contains(executionVertexId));
		unfinishedVertices.remove(executionVertexId);
	}

	  PipelinedRegionExecutionView(final PipelinedRegion pipelinedRegion);

}