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);
48 bool timeToQuit()
const
53 virtual void tick(
double simulationTime);
57 static void setEnableLogFileTimeStamps(
bool);
58 static bool enableLogFileTimeStamps();
64 virtual void slot_selectedBackendChanged(
const DtSimulationAddress&,
const DtSimulationAddress&);
66 virtual void initializeSchemaManager();
67 virtual bool waitingForBackendQuitMessage();