From 4ef4844c304dcf0dff71e247494c97b645b82889 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Wed, 18 Jul 2018 15:43:06 +0200
Subject: [PATCH] std::chrono  support in stormpy

---
 src/mod_utility.cpp    | 2 ++
 src/utility/chrono.cpp | 8 ++++++++
 src/utility/chrono.h   | 5 +++++
 3 files changed, 15 insertions(+)
 create mode 100644 src/utility/chrono.cpp
 create mode 100644 src/utility/chrono.h

diff --git a/src/mod_utility.cpp b/src/mod_utility.cpp
index 8d1a504..777e80a 100644
--- a/src/mod_utility.cpp
+++ b/src/mod_utility.cpp
@@ -2,6 +2,7 @@
 
 #include "utility/shortestPaths.h"
 #include "utility/smtsolver.h"
+#include "utility/chrono.h"
 
 
 PYBIND11_MODULE(utility, m) {
@@ -9,4 +10,5 @@ PYBIND11_MODULE(utility, m) {
 
     define_ksp(m);
     define_smt(m);
+    define_chrono(m);
 }
diff --git a/src/utility/chrono.cpp b/src/utility/chrono.cpp
new file mode 100644
index 0000000..def183e
--- /dev/null
+++ b/src/utility/chrono.cpp
@@ -0,0 +1,8 @@
+#include "chrono.h"
+#include "src/helpers.h"
+
+void define_chrono(py::module& m) {
+    py::class_<std::chrono::milliseconds>(m, "milliseconds")
+            .def("count", &std::chrono::milliseconds::count)
+            .def("__str__", [](std::chrono::milliseconds const& t) { std::stringstream strstr; strstr << t.count(); return strstr.str(); });
+}
\ No newline at end of file
diff --git a/src/utility/chrono.h b/src/utility/chrono.h
new file mode 100644
index 0000000..42762f5
--- /dev/null
+++ b/src/utility/chrono.h
@@ -0,0 +1,5 @@
+#pragma once
+
+#include "src/common.h"
+
+void define_chrono(py::module& m);
\ No newline at end of file