/** * Assuming congruence class c has changed: find all other classes that might be affected, and add * them to the worklist * * @param c the congruence class that has changed */ private void addDependentClassesToWorklist(GVCongruenceClass c) { // for each element of this congruence class: for (ValueGraphVertex v : c) { // for each vertex which points to v in the value graph for (Enumeration<GraphNode> e = v.inNodes(); e.hasMoreElements(); ) { ValueGraphVertex in = (ValueGraphVertex) e.nextElement(); int vn = in.getValueNumber(); GVCongruenceClass x = B.get(vn); workList.push(x); } } }