dlvhex  2.5.0
benchmark::nestingAware::NestingAwareController::Current Struct Reference

#include <include/dlvhex2/Benchmarking.h>

Public Member Functions

 Current (ID which)

Data Fields

ID which
 instrumentation ID of this record
Time firststart
 Timestamp when the counter was started first for this Current record.
Time start
 Timestamp when the counter was started most recently.

Detailed Description

Definition at line 515 of file Benchmarking.h.


Constructor & Destructor Documentation


Field Documentation


The documentation for this struct was generated from the following files: