class FileGraph extends Graph { FileGraph(String fileName, int numAgents, int agentSize) { super(numAgents, agentSize); readStadium(fileName); Iterator it = Edges.iterator(); Edge edge; while (it.hasNext()) { edge = (Edge) it.next(); if (!(edge.getType() == Graph.Row || edge.getType() == Graph.FieldExitCorridor) && !edge.twoNeighborRows()) { edge.setType(Graph.Corridor); } else if (!(edge.getType() == Graph.Row || edge.getType() == Graph.FieldExitCorridor) && edge.twoNeighborRows()) { edge.setType(Graph.Aisle); } if (edge.id == 6890) edge.setType(Graph.Corridor); edge.update(); } registerGraph(); //Scaling: Agents.ask(new ScaleBy(.1f)); } // ========== Graph File I/O ========== HashMap idMap = new HashMap(); // REMIND: Should be part of Base Base baseWithID(int id) { return (Base)idMap.get(new Integer(id)); } void readNodes(String[] data) { for(int i = 0; i