A B C D E F G H I L M N O P R S T U V _
All Classes All Packages
All Classes All Packages
All Classes All Packages
V
- viewPanel - Variable in class visualization.VisualizationEngine
- visualization - package visualization
- visualization.services - package visualization.services
- visualizationEngine - Variable in class visualization.VisualizationWindow
- VisualizationEngine - Class in visualization
-
Responsible for visualizing States on a GraphStream graph.
- VisualizationEngine(Graph, List<State>) - Constructor for class visualization.VisualizationEngine
-
Initializes the visualization engine with the given graph and states
- VisualizationWindow - Class in visualization
-
Main window of the application.
- VisualizationWindow(VisualizationEngine, TraceGenerationEngine) - Constructor for class visualization.VisualizationWindow
-
Creates a Window for the visualization.
- VisualizationWindow.Button - Class in visualization
-
Customized JButton.
- VisualizationWindow.TextIndicator - Class in visualization
-
Customized JTextField.
All Classes All Packages