117
117
private FileAction createAction, openAction, closeAction, saveAction,
118
118
saveAsAction, exitAction, printAction, importPNMLAction, importSUMOAction,
119
119
importXMLAction, exportPNGAction, exportPSAction, exportToTikZAction,
120
exportToPNMLAction, exportToXMLAction, exportTraceAction, importTraceAction;
120
exportToPNMLAction, exportToXMLAction, exportTraceAction, importTraceAction,
122
123
private VerificationAction runUppaalVerification;