dlvhex
2.5.0
|
#include <testsuite/dummytypes.h>
Public Member Functions | |
CounterVerification (EvalGraphT &eg, unsigned iterations) | |
void | recordCounters (unsigned iteration) |
void | printCounters () |
void | verifyEqual (unsigned iterationa, unsigned iterationb) |
Protected Types | |
typedef std::map < TestEvalGraph::EvalUnit, unsigned > | IterCountMap |
Protected Attributes | |
EvalGraphT & | eg |
std::vector< IterCountMap > | counters |
Definition at line 262 of file dummytypes.h.
typedef std::map<TestEvalGraph::EvalUnit, unsigned> CounterVerification< EvalGraphT >::IterCountMap [protected] |
Definition at line 267 of file dummytypes.h.
CounterVerification< EvalGraphT >::CounterVerification | ( | EvalGraphT & | eg, |
unsigned | iterations | ||
) | [inline] |
Definition at line 271 of file dummytypes.h.
References CounterVerification< EvalGraphT >::recordCounters().
void CounterVerification< EvalGraphT >::printCounters | ( | ) | [inline] |
Definition at line 304 of file dummytypes.h.
References CounterVerification< EvalGraphT >::counters, CounterVerification< EvalGraphT >::eg, LOG, and LOG_INDENT.
void CounterVerification< EvalGraphT >::recordCounters | ( | unsigned | iteration | ) | [inline] |
Definition at line 278 of file dummytypes.h.
References CounterVerification< EvalGraphT >::counters, CounterVerification< EvalGraphT >::eg, LOG, and LOG_SCOPE.
Referenced by CounterVerification< EvalGraphT >::CounterVerification().
void CounterVerification< EvalGraphT >::verifyEqual | ( | unsigned | iterationa, |
unsigned | iterationb | ||
) | [inline] |
Definition at line 319 of file dummytypes.h.
References CounterVerification< EvalGraphT >::counters, and CounterVerification< EvalGraphT >::eg.
std::vector<IterCountMap> CounterVerification< EvalGraphT >::counters [protected] |
Definition at line 268 of file dummytypes.h.
Referenced by CounterVerification< EvalGraphT >::printCounters(), CounterVerification< EvalGraphT >::recordCounters(), and CounterVerification< EvalGraphT >::verifyEqual().
EvalGraphT& CounterVerification< EvalGraphT >::eg [protected] |
Definition at line 265 of file dummytypes.h.
Referenced by CounterVerification< EvalGraphT >::printCounters(), CounterVerification< EvalGraphT >::recordCounters(), and CounterVerification< EvalGraphT >::verifyEqual().