16 #include <vlutil/vlTime.h>
19 class DtSimulationAddress;
24 class DtVrfSimBackendManager;
25 class DtVrfBackendState;
39 virtual void setSimulationTime(
double time);
43 virtual void setUseSimulationTimeForAdvancement(
bool);
44 virtual bool useSimulationTimeForAdvancement()
const;
46 virtual void setTimeToQuit(
bool v);
48 virtual void tick(
double simulationTime);
52 static void setEnableLogFileTimeStamps(
bool);
53 static bool enableLogFileTimeStamps();
57 virtual void slot_selectedBackendChanged(
const DtSimulationAddress&,
const DtSimulationAddress&);
59 virtual void initializeSchemaManager();