public PrecedenceRelationGraph makeCut(Iterable<Terminal> vertices)
	{
		PrecedenceRelationGraph rv = new PrecedenceRelationGraph(vertices);
		int[] vertexNumbers = new int[rv.vertices.size()];
		for(Terminal t : vertices) vertexNumbers[rv.getVertexNumber(t)] = getVertexNumber(t);
		for(int i = 0;i < vertexNumbers.length;i++)
		{
			for(int j = 0;j < vertexNumbers.length;j++)
			{
				rv.adjacencyMatrix[i][j] = adjacencyMatrix[vertexNumbers[i]][vertexNumbers[j]];
				if(rv.adjacencyMatrix[i][j] == true) rv.inDegrees[j]++;
			}
		}
		return rv;
	}