time.cpp

Go to the documentation of this file.

#include "time.h"

using namespace Scheduler;

double Time::time = 0.0;

double Time::getTime()
{
    return time;
}

void Time::updateTime(double t)
{
    time = t;
}