Dororo99/Ours_S3GS_Waymo

1import time2class Timer:3    def __init__(self):4        self.start_time = None5        self.elapsed = 06        self.paused = False7 8    def start(self):9        if self.start_time is None:10            self.start_time = time.time()11        elif self.paused:12            self.start_time = time.time() - self.elapsed13            self.paused = False14 15    def pause(self):16        if not self.paused:17            self.elapsed = time.time() - self.start_time18            self.paused = True19 20    def get_elapsed_time(self):21        if self.paused:22            return self.elapsed23        else:24            return time.time() - self.start_time