From f159bd5aa64f96e3359bec514fd2fe08eac88edd Mon Sep 17 00:00:00 2001
From: Daniel Kroening <kroening@cs.ox.ac.uk>
Date: Mon, 18 Sep 2017 21:58:18 +0100
Subject: [PATCH] more time stopping functionality

---
 src/util/time_stopping.h | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/src/util/time_stopping.h b/src/util/time_stopping.h
index d09a4a91077..7a7dcd20014 100644
--- a/src/util/time_stopping.h
+++ b/src/util/time_stopping.h
@@ -72,6 +72,8 @@ class time_periodt:public fine_timet
   {
     return time_periodt(t-other.t);
   }
+
+  friend class absolute_timet;
 };
 
 class absolute_timet:public fine_timet
@@ -89,6 +91,16 @@ class absolute_timet:public fine_timet
   {
     return time_periodt(t-other.t);
   }
+
+  absolute_timet operator+(const time_periodt &other)
+  {
+    return absolute_timet(t+other.t);
+  }
+
+  bool operator>=(const absolute_timet &other)
+  {
+    return t>=other.t;
+  }
 };
 
 absolute_timet current_time();