equal
deleted
inserted
replaced
1 /*************************************************************************** |
1 /*************************************************************************** |
2 Title: GraphBrowser/GraphBrowser.java |
2 Title: GraphBrowser/GraphBrowser.java |
3 ID: $Id$ |
|
4 Author: Stefan Berghofer, TU Muenchen |
3 Author: Stefan Berghofer, TU Muenchen |
5 |
4 |
6 This is the graph browser's main class. It contains the "main(...)" |
5 This is the graph browser's main class. It contains the "main(...)" |
7 method, which is used for the stand-alone version, as well as |
6 method, which is used for the stand-alone version, as well as |
8 "init(...)", "start(...)" and "stop(...)" methods which are used for |
7 "init(...)", "start(...)" and "stop(...)" methods which are used for |