IGraph<DesignerVertex, DesignerEdge> final_graph = this.designer.getFinalGraph();
gpanel = GraphVisualizationPanel.factory(final_graph, this.OBSERVER_VERTEX, this.OBSERVER_EDGE);
this.visualizers.add(gpanel);
JPanel final_panel = new JPanel(new BorderLayout());
final_panel.add(this.visualizers.lastElement(), BorderLayout.CENTER);
final_panel.add(new PartitionPlanPanel(this), BorderLayout.SOUTH);
this.tabbedPane.add(final_panel, "Final");
}
AbstractDirectedGraph<DesignerVertex, DesignerEdge> dgraph = this.designer.getDesignerInfo().dgraph;
this.visualizers.add(GraphVisualizationPanel.factory(dgraph, this.OBSERVER_VERTEX, this.OBSERVER_EDGE));