@Override
	public boolean equals(Object obj) {
		if (this == obj)
			return true;
		if (obj == null)
			return false;
		if (getClass() != obj.getClass())
			return false;
		Edge other = (Edge) obj;
		if (edgeLabel == null) {
			if (other.edgeLabel != null)
				return false;
		} else if (!edgeLabel.equals(other.edgeLabel))
			return false;
		if (subEdges == null) {
			if (other.subEdges != null)
				return false;
		} else if (!subEdges.equals(other.subEdges))
			return false;
		return true;
	}