s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
Browse Source

Auto-format. 

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10921 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 10 years ago
parent
7557171b82
commit
11cf431209
1 changed files with 5 additions and 5 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 10
      prism/src/userinterface/simulator/GUISimulator.java

10
prism/src/userinterface/simulator/GUISimulator.java
View File

@ -96,20 +96,20 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
// Links to other parts of the GUI // Links to other parts of the GUI
private GUIMultiProperties guiProp; private GUIMultiProperties guiProp;
private GUIMultiModel guiMultiModel; private GUIMultiModel guiMultiModel;
/** Underlying simulator */ /** Underlying simulator */
private SimulatorEngine engine; private SimulatorEngine engine;
// GUI components // GUI components
private UpdateTableModel updateTableModel; private UpdateTableModel updateTableModel;
private GUISimulatorPathTableModel pathTableModel; private GUISimulatorPathTableModel pathTableModel;
// Menus/actions/etc. // Menus/actions/etc.
private JMenu simulatorMenu; private JMenu simulatorMenu;
private JPopupMenu pathPopupMenu; private JPopupMenu pathPopupMenu;
private FileFilter textFilter; private FileFilter textFilter;
private Action randomExploration, backtrack, backtrackToHere, removeToHere, newPath, newPathFromState, newPathPlot, newPathPlotFromState, resetPath, private Action randomExploration, backtrack, backtrackToHere, removeToHere, newPath, newPathFromState, newPathPlot, newPathPlotFromState, resetPath,
exportPath, plotPath, configureView;
exportPath, plotPath, configureView;
//Current State //Current State
private boolean pathActive; private boolean pathActive;
@ -119,7 +119,7 @@ public class GUISimulator extends GUIPlugin implements MouseListener, ListSelect
private Values lastConstants, lastPropertyConstants, lastInitialState; private Values lastConstants, lastPropertyConstants, lastInitialState;
private boolean computing; private boolean computing;
// Config/options // Config/options
private boolean displayStyleFast; private boolean displayStyleFast;
private boolean displayPathLoops; private boolean displayPathLoops;

Write Preview
Loading…
Cancel
Save