16 #include <vlutil/vlTime.h>
20 class DtSimulationAddress;
25 class DtVrfSimBackendManager;
26 class DtVrfBackendState;
40 virtual void setSimulationTime(
double time);
44 virtual void setUseSimulationTimeForAdvancement(
bool);
45 virtual bool useSimulationTimeForAdvancement()
const;
47 virtual void setTimeToQuit(
bool v);
49 virtual void tick(
double simulationTime);
53 static void setEnableLogFileTimeStamps(
bool);
54 static bool enableLogFileTimeStamps();
60 virtual void slot_selectedBackendChanged(
const DtSimulationAddress&,
const DtSimulationAddress&);
62 virtual void initializeSchemaManager();