public Vertex getDominator(Vertex v) {
		Vector pathSet = this.allPathsContaining(v);
		if (pathSet.isEmpty()) {
			return v;
		}
		Vector path = (Vector) pathSet.firstElement();
		return this.allPathsContain(pathSet, v, path);
	}
this returns the vertex that is the dominator
Ghidra/Framework/Generic/src/main/java/ghidra/util/graph/Dominator.java