Merge pull request #1451 from diffblue/time-stopping

Daniel Kroening · web-flow · commit 639d1aa91f7f · 2017-10-08T12:18:18.000+01:00
more time stopping functionality
diff --git 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();

Original file line number	Diff line number	Diff line change
`@@ -72,6 +72,8 @@ class time_periodt:public fine_timet`
`72`	`72`	`{`
`73`	`73`	`return time_periodt(t-other.t);`
`74`	`74`	`}`
	`75`	`+`
	`76`	`+ friend class absolute_timet;`
`75`	`77`	`};`
`76`	`78`
`77`	`79`	`class absolute_timet:public fine_timet`
`@@ -89,6 +91,16 @@ class absolute_timet:public fine_timet`
`89`	`91`	`{`
`90`	`92`	`return time_periodt(t-other.t);`
`91`	`93`	`}`
	`94`	`+`
	`95`	`+ absolute_timet operator+(const time_periodt &other)`
	`96`	`+ {`
	`97`	`+ return absolute_timet(t+other.t);`
	`98`	`+ }`
	`99`	`+`
	`100`	`+ bool operator>=(const absolute_timet &other)`
	`101`	`+ {`
	`102`	`+ return t>=other.t;`
	`103`	`+ }`
`92`	`104`	`};`
`93`	`105`
`94`	`106`	`absolute_timet current_time();`