|
dlvhex
2.1.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().