Cd_graph{ void flatten() to Neighbors_wc { {{ Any_vertex_List common; Ident currentSource; HashMap adjacency_wc = new HashMap(); }} before Adjacency {{ currentSource = host.get_source().get_vertex_name(); }} before Neighbors_wc {{ common = host.get_construct_ns(); if(adjacency_wc.containsKey(currentSource)){ Any_vertex_List tempList = (Any_vertex_List)adjacency_wc.get(currentSource); while(tempList.hasMoreElements()){ common.addElement((Any_vertex)tempList.nextElement()); } host.set_construct_ns(common); } }} before Alternat_ns {{ Enumeration en = host.get_alternat_ns().elements(); while( en.hasMoreElements() ){ adjacency_wc.put( ( (Term)en.nextElement() ).get_vertex().get_vertex_name(), common); } }} } }