diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2019-03-11 11:09:34 +0000 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-03-12 00:20:57 +0000 |
| commit | 59eb5a817471ad0887706637c4e43ff474e7fb63 (patch) | |
| tree | b6f00f7c34d231f8feca0c320970289b8cd136b3 /include | |
| parent | 0e92811fe7ba7b98425391ef8f8995174afc4f74 (diff) | |
| download | klee-59eb5a817471ad0887706637c4e43ff474e7fb63.tar.gz | |
time: add double type for span multiplications
Diffstat (limited to 'include')
| -rw-r--r-- | include/klee/Internal/System/Time.h | 11 |
1 files changed, 7 insertions, 4 deletions
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&); |