- //***debug
- for (Enumeration en=Adj_List_local.keys();en.hasMoreElements();){
- FlagState fs_local=(FlagState)en.nextElement();
- System.out.print("Source FS: "+fs_local.toString(fd)+" -> ");
- Vector edges=(Vector)Adj_List_local.get(fs_local);
- if (edges != null) {
- for(int i=0;i < edges.size();i++) {
- Edge edge=(Edge)edges.get(i);
- System.out.print("("+edge.getTarget().toString(fd)+" "+edge.getLabel()+")\n");
- }
- }
- }
- //***debug
- for (Enumeration en=Adj_List_local.keys();en.hasMoreElements();){
- FlagState fs_local=(FlagState)en.nextElement();
- if (wasFlagStateProcessed(Adj_List_temp,fs_local)){
- System.out.println("FS: "+fs_local.toString(fd)+" processed already");
- //Add edges that don't exist already.
- Vector edges=(Vector)Adj_List_local.get(fs_local);
- if (edges != null) {
- for(int i=0;i < edges.size();i++) {
- Edge edge=(Edge)edges.get(i);
- if (! ((Vector)Adj_List_temp.get(fs_local)).contains(edge))
- ((Vector)Adj_List_temp.get(fs_local)).add(edge);
- }
- }
- //((Vector)Adj_List_temp.get(fs_local)).addAll((Vector)Adj_List_local.get(fs_local));
- }
- else{
- System.out.println("FS: "+fs_local.toString(fd)+" not processed already");
- Adj_List_temp.put(fs_local,(Vector)Adj_List_local.get(fs_local));
- }