24 class DtVrfBackendState;
33 virtual void setupGui();
41 virtual void slot_rollback(
double);
42 virtual void slot_snapshotScenario();
43 virtual void slot_saveCheckpoints(
const std::set<double>&);
44 virtual void clearSnapshots();
46 virtual void slot_clearAllSnapshots();
47 virtual void slot_savedScenarioCheckpoint(
double simTime);
48 virtual void slot_onStopSaves();
49 virtual void slot_savedCheckpointsCleared(
const std::set<double>&);
50 virtual void slot_savingCheckpoints(
const std::set<double>&);
51 virtual void slot_enablePeriodicCheckpoints(
bool);
52 virtual void slot_settingReceived(
const std::string& setting,
const DtVrfBackendState* state);
53 virtual void slot_startingScenarioCheckpointTimeChanged(
double oldTime,
double newTime);
54 virtual void slot_saveStateChanged(
const std::set<double>& saved,
const std::set<double>& unsaved);
56 virtual void shouldBeEnabled();