@Override
	public long getModificationNumber() {
		return this.modificationNumber;
	}
Get the number of times this VertexSet has changed
Ghidra/Framework/Generic/src/main/java/ghidra/util/graph/VertexSet.java