/**
* 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);
}
}
}
