klee
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
TimerStatIncrementer.h
Go to the documentation of this file.
1 //===-- TimerStatIncrementer.h ----------------------------------*- C++ -*-===//
2 //
3 // The KLEE Symbolic Virtual Machine
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 
10 #ifndef KLEE_TIMERSTATINCREMENTER_H
11 #define KLEE_TIMERSTATINCREMENTER_H
12 
13 #include "klee/Statistics.h"
15 
16 namespace klee {
18  private:
21 
22  public:
23  TimerStatIncrementer(Statistic &_statistic) : statistic(_statistic) {}
25  statistic += timer.check();
26  }
27 
28  uint64_t check() { return timer.check(); }
29  };
30 }
31 
32 #endif
TimerStatIncrementer(Statistic &_statistic)
uint64_t check()
check - Return the delta since the timer was created, in microseconds.
Definition: Timer.cpp:24