|
| std::string | klee::time::getClockInfo () |
| | Returns information about clock. More...
|
| |
| Span | klee::time::getUserTime () |
| | Returns time spent by this process in user mode. More...
|
| |
| Point | klee::time::getWallTime () |
| | Returns point in time using a monotonic steady clock. More...
|
| |
| Point | klee::time::operator+ (const Point &, const Span &) |
| |
| Point | klee::time::operator+ (const Span &, const Point &) |
| |
| Point | klee::time::operator- (const Point &, const Span &) |
| |
| Span | klee::time::operator- (const Point &, const Point &) |
| |
| bool | klee::time::operator== (const Point &, const Point &) |
| |
| bool | klee::time::operator!= (const Point &, const Point &) |
| |
| bool | klee::time::operator< (const Point &, const Point &) |
| |
| bool | klee::time::operator<= (const Point &, const Point &) |
| |
| bool | klee::time::operator> (const Point &, const Point &) |
| |
| bool | klee::time::operator>= (const Point &, const Point &) |
| |
| Span | klee::time::operator+ (const Span &, const Span &) |
| |
| Span | klee::time::operator- (const Span &, const Span &) |
| |
| Span | klee::time::operator* (const Span &, double) |
| |
| Span | klee::time::operator* (double, const Span &) |
| |
| Span | klee::time::operator* (const Span &, unsigned) |
| |
| Span | klee::time::operator* (unsigned, const Span &) |
| |
| Span | klee::time::operator/ (const Span &, unsigned) |
| |
| bool | klee::time::operator== (const Span &, const Span &) |
| |
| bool | klee::time::operator<= (const Span &, const Span &) |
| |
| bool | klee::time::operator>= (const Span &, const Span &) |
| |
| bool | klee::time::operator< (const Span &, const Span &) |
| |
| bool | klee::time::operator> (const Span &, const Span &) |
| |
| std::ostream & | klee::time::operator<< (std::ostream &, Span) |
| | Span -> "X.Ys". More...
|
| |
| llvm::raw_ostream & | klee::time::operator<< (llvm::raw_ostream &, Span) |
| |
| Span | klee::time::hours (std::uint16_t) |
| | time spans More...
|
| |
| Span | klee::time::minutes (std::uint16_t) |
| |
| Span | klee::time::seconds (std::uint64_t) |
| |
| Span | klee::time::milliseconds (std::uint64_t) |
| |
| Span | klee::time::microseconds (std::uint64_t) |
| |
| Span | klee::time::nanoseconds (std::uint64_t) |
| |