A B C D E F G H I L M N O P R S T U V _ 
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.
A B C D E F G H I L M N O P R S T U V _ 
All Classes All Packages