dfsEdgeTypeList[edgeIndex(edge)] = dfsEdgeType;
dfsEdgeTypeList[edge.getId()] = dfsEdgeType;
	private void setDFSEdgeType(Edge edge, int dfsEdgeType) {		dfsEdgeTypeList[edgeIndex(edge)] = dfsEdgeType;	}