From 59eb5a817471ad0887706637c4e43ff474e7fb63 Mon Sep 17 00:00:00 2001 From: Frank Busse Date: Mon, 11 Mar 2019 11:09:34 +0000 Subject: time: add double type for span multiplications --- include/klee/Internal/System/Time.h | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) (limited to 'include') diff --git a/include/klee/Internal/System/Time.h b/include/klee/Internal/System/Time.h index 9c021ddc..f989e929 100644 --- a/include/klee/Internal/System/Time.h +++ b/include/klee/Internal/System/Time.h @@ -76,7 +76,8 @@ namespace klee { Span& operator=(const Duration&); Span& operator+=(const Span&); Span& operator-=(const Span&); - Span& operator*=(const Duration::rep&); + Span& operator*=(unsigned); + Span& operator*=(double); // conversions explicit operator Duration() const; @@ -90,9 +91,11 @@ namespace klee { Span operator+(const Span&, const Span&); Span operator-(const Span&, const Span&); - Span operator*(const Span&, const Duration::rep&); - Span operator/(const Span&, const Duration::rep&); - Span operator*(const Duration::rep&, const Span&); + Span operator*(const Span&, double); + Span operator*(double, const Span&); + Span operator*(const Span&, unsigned); + Span operator*(unsigned, const Span&); + Span operator/(const Span&, unsigned); bool operator==(const Span&, const Span&); bool operator<=(const Span&, const Span&); bool operator>=(const Span&, const Span&); -- cgit 1.4.1