onChanged(); if (other.hasVertexIndex()) { setVertexIndex(other.getVertexIndex());
hash = (53 * hash) + getVertexName().hashCode(); if (hasVertexIndex()) { hash = (37 * hash) + VERTEX_INDEX_FIELD_NUMBER; hash = (53 * hash) + getVertexIndex();
.equals(other.getVertexName()); result = result && (hasVertexIndex() == other.hasVertexIndex()); if (hasVertexIndex()) { result = result && (getVertexIndex() == other.getVertexIndex());